Leo Bachmair
Professor
Computer Science Undergraduate Director
Ph.D. 1987, University of Illinois at Urbana-Champaign
Office Hours - Fall 2009
TuTh 11-1, W 11-12 (or by appointment)
Teaching
CSE 215 Foundations of Computer Science
(Fall 2009)
CSE 303 Introduction to the Theory of Computation
(Fall 2009)
CSE 541 Logic in Computer Science
(Spring 2009)
Research
Automated Deduction and Computational Logic
Selected publications
Awards
Alexander von Humboldt Foundation Research Fellowship
IEEE Symposium on Logic in Computer Science Test-of-Time Award
SUNY Chancellor's Award for Excellence in Faculty Service
Numbers
Erdos Number: 3 [via Fraenkel-Dershowitz]
H-Index: 28 [based on Google Scholar as of October 2009]
Address
1427 Computer Science Bldg.
Department of Computer Science
Stony Brook University
Stony Brook, New York 11794-4400
Email: leo (at) cs (dot) sunysb (dot) edu