Edward A. Hirsch I am a theoretical computer scientist (that is, mathematician) interested in computational complexity and proof theory. CSR-2012 will be held in Nizhni Novgorod.

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

Personal I am married to a pure mathematician Natalia Tsilevich.

[Laboratory] [Institute]