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.

Laboratory of Mathematical Logic,
Steklov Institute of Mathematics at St.Petersburg,
27 Fontanka, St.Petersburg 191023, Russia
username: hirsch, domain: pdmi.ras.ru
Valid HTML 4.0! [Laboratory] [Institute]