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-2021 will be held in Sochi, deadline December 24, 2020.

In 2022, CSR will be an ICM satellite!

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]