Edward A. Hirsch#
| Membership Number: | 3784 |
| Membership type: | ORDINARY |
| Section: | INFORMATICS |
| Elected: | 2014 |
| Main Country of Residence: | ISRAEL |
| Homepage(s): | https://edwardahirsch.github.io/edwardahirsch/ |
Previous Positions
- 2008 - 2022 Research Lead (and then Laboratory Head), Steklov Institute of Mathematics at St.Petersburg, Russian Academy of Sciences
- 2018 - 2022 Full Professor, St.Petersburg State University
- 2012 - 2018 Full Professor, St.Petersburg Academic University, Russian Academy of Sciences
Fields of Scholarship
- Propositional proof complexity
- Heuristic algorithms
- SAT algorithms
- Computational complexity
Honours and Awards
- 2014 Member of Academia Europaea
- 2006 Dynasty Young Scientists Fellowship
