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 541 Logic in Computer Science (Spring 2007)

Office Hours - Fall 2007

TuTh 1-3, W 11-12 (when classes are in session)

Research Interests

Automated Deduction
Computational Logic

Research Publications

Selected publications

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