Edward A. Hirsch I am a theoretical computer scientist (that is, mathematician) interested in computational complexity and proof theory. Learn about previous CSR conferences and please register to CSR-2010 in Kazan before March 1.

Research papers Teaching Students Affiliations, committees... SAT tools Addresses Personal

Courses (some include lecture notes or slides in Russian) Computational Complexity: PDMI CS Club, Fall 2008 (slides and video). Earlier courses: Fall 2000, Fall 2002, Fall 2004 (lecture notes). Foundations of Cryptography: PDMI CS Club, Spring 2008 (slides and video). Previous years: Spring 2001, Spring 2003, Spring 2005 (lecture notes) (older lecture notes, with quantum computations). Algorithms I (basic CS course), many years: 2005/6, CS students (lecture notes). 2003/4, math students (lecture notes). Algorithms II (advanced course): 2003/4 (lecture notes). Spring 1999, Fall 2001 (lecture notes).

[Laboratory] [Institute]