Leo Bachmair

Professor
Computer Science Undergraduate Director
Ph.D. 1987, University of Illinois at Urbana-Champaign

Office Hours - Spring 2012

TuTh 2:30-3:30 and W 10-12 (when classes are in session)

Teaching

CSE 150 Foundations of Computer Science - Honors (Fall 2011)
CSE 215 Foundations of Computer Science
CSE 303 Introduction to the Theory of Computation (Summer 2011)
CSE 350 Theory of Computation: Honors (Spring 2012)
CSE 541 Logic in Computer Science (Spring 2012)

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: 30 [based on Google Scholar as of August 2011]

Address

1427 Computer Science Bldg.
Department of Computer Science
Stony Brook University
Stony Brook, New York 11794-4400