Edward A. Hirsch I am a theoretical computer scientist (that is, mathematician) interested in computational complexity and proof theory. News: Semester Program on Computational and Proof Complexity, AprilJune 2016, St.Petersburg, has started! 

Courses (some include lecture notes or slides in Russian)
