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!

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