Edward A. Hirsch 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:
|
![]() |