Edward A. Hirsch I am a theoretical computer scientist (that is, mathematician) interested in computational complexity and proof theory. News: CSR2021 will be held in Sochi, deadline December 24, 2020. In 2022, CSR will be an ICM satellite! 

Courses (some include lecture notes or slides in Russian)
