Leo Bachmair

 Back to Faculty Directory

Leo Bachmair

Computer Science Program Director

Professor
Computer Science Department
1422 Computer Science
Stony Brook University
Stony Brook, NY 11794-4400

Phone: (631) 632-8452
Email
Personal Web Page
Degree: Ph.D Computer Science - University of Illinois at Urbana-Champaign, 1987
Research Topics: Computational logic, Automated Deduction, Symbolic Computation
Teaching Summary: CSE 215, CSE 303, CSE 541
Department of Computer Science • Stony Brook University, Stony Brook, NY 11794-4400 • 631-632-8470 or 631-632-8471

 Stony Brook University Home Page    |    Search Stony Brook   |   SOLAR