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 - Spring 2008

TuTh 1-3pm and W 2-3pm (when classes are in session)

Research Interests

Automated Deduction
Computational Logic

Research Publications

Selected publications

Numbers

Erdos Number: 3 [via Fraenkel-Dershowitz or Zaks-Dershowitz]
H-Index: 26 [based on Google Scholar as of February 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