Leo Bachmair

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

Teaching

CSE 213 Foundations of Computer Science II (Fall 2006)
CSE 541 Logic in Computer Science (Spring 2006)

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

Office Hours - Fall 2006

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