I am a theoretical computer scientist interested in algorithms, complexity, and formal proofs.
I am working for Technion now, after 24 years at Steklov Institute of Mathematics at St.Petersburg.
THIS PAGE IS UNDER CONSTRUCTION.
Contents:
- Students.
- Research papers and surveys.
- Courses.
- SAT resources.
- CV.
- My wife (also a mathematician).
