Edward A. Hirsch I am a theoretical computer scientist (that is, mathematician) interested in computational complexity and proof theory. News: CSR2017 will be held in Kazan in June 2017. 

Courses (some include lecture notes or slides in Russian)
