Leo Bachmair

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

Teaching

CSE 215 Foundations of Computer Science (Fall 2007)
CSE 303 Introduction to the Theory of Computation (Spring 2008)
CSE 541 Logic in Computer Science (Spring 2008)

Office Hours - Fall 2008

TuTh 1pm-3pm, W 11am-noon

Research Interests

Automated Deduction
Computational Logic

Research Publications

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 or Zaks-Dershowitz]
H-Index: 27 [based on Google Scholar as of May 2008]

Address

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

Phone: (631) 632-8452
Fax: (631) 632-8334
Email: leo@cs.sunysb.edu