Outdated picture of Edward A. Hirsch 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, April--June 2016, St.Petersburg, has started!

Courses (some include lecture notes or slides in Russian)

Valid HTML 4.0! [Laboratory] [Institute]