Leo Bachmair

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

Teaching

CSE 215 Foundations of Computer Science (Fall 2008)
CSE 350 Theory of Computation: Honors (Spring 2009)
CSE 541 Logic in Computer Science (Spring 2009)

Office Hours - June 2009

Wednesdays (6/3, 6/10, 6/17, 6/24), 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]
H-Index: 27 [based on Google Scholar as of May 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