Edward A. Hirsch I am a theoretical computer scientist (that is, mathematician) interested in computational complexity and proof theory. News: new Master's program "Advanced mathematics" (which includes TCS) is established in St.Petersburg State University. 

Courses (some include lecture notes or slides in Russian)
