Outdated picture of Edward A. Hirsch Edward A. Hirsch

I am a theoretical computer scientist (that is, mathematician) interested in computational complexity and proof theory.

News: CSR-2017 will be held in Kazan (Volga river) in June 2017. The deadline is December 15.


I am married to a pure mathematician Natalia Tsilevich.

Valid HTML 4.0! [Laboratory] [Institute]