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