Edward A. Hirsch I am a mathematician (computer scientist, if you like) interested in computational complexity, proof theory, and SAT algorithms. Check the web page of CSR-2006. The conference opens a new series of meetings.

Research papers SAT solvers and benchmarks Affiliations, membership, service to the community Teaching Students Seminar Database of papers by different people Addresses

Professional activities Affiliations: St.Petersburg Department of Steklov Institute of Mathematics, Senior Researcher in Laboratory of Mathematical Logic and Head of Postgraduate Studies. St.Petersburg State University, Associate Professor (part-time) in Chair of Computer Science. Professional membership: EATCS (European Association for Theoretical Computer Science), member. ASL (Association for Symbolic Logic), member. St.Petersburg Mathematical Society, member of the Council. Other service to the community: CSR-2006, Conference Chair. Journal on Satisfiability, ..., editorial board member. Journal "Notes of Mathematical Seminars of St.Petersburg Department of Steklov Institute of Mathematics". Computational Complexity Theory subseries, editor for issues VII (volume 293) and IX (volume 316). WOLLIC-2006, Program Committee member. IWPEC-2006, Program Committee member. SAT-2005, SAT-2004, SAT-2003, SAT-2002, Program Committee member. SAT Competition 2002, co-organizer.

[Laboratory] [Institute]