Leo Bachmair Professor Address Department of Computer Science 1422 Computer Science Building Stony Brook University Stony Brook, New York 11790-4400 Phone: (631) 632-8452                 Fax: (631) 632-8334 Email:  leo@cs.sunysb.edu  Education Ph.D. in Computer Science University of Illinois at Urbana-Champaign, 1987 M.S. in Computer Science, University of Illinois at Urbana-Champaign, 1985 Dipl.Ing in Mathematics, Johannes-Kepler-University (Linz, Austria), 1982 Past and Present Research Interests Computational Logic - Automated Deduction - Symbolic Computation Support by Funding Agencies and Industry National Science Foundation Courses Taught CSE 213: Foundations of Computer Science II CSE 303: Theory of Computation CSE 541: Logic in Computer Science CSE 548: Analysis of Algorithms Honors and Awards Research Fellowship, Alexander von Humboldt Foundation Publications/Patents 10 Journal Articles 32 Conference papers 2 Books/ 3 Book chapters