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 consider submitting to CSR-2010 in Kazan, the deadline is December 7!

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

Discrete Mathematics seminar In 1998-2008 I was responsible for our Discrete Mathematics seminar. Since 2009, Dmitry Itsykson is responsible for the seminar.

[Laboratory] [Institute]