Leo Bachmair
Professor Emeritus
Department of Computer Science
Room 231
Stony Brook, NY 11794-2424
Phone
(631) 632-8452
Website (URL)
Email
leo [at] cs.stonybrook.edu
Interests
Computational Logic, Automated Deduction, Symbolic Computation.
Biography
Leo Bachmair received his Ph.D. and M.S. in Computer Science from the University of Illinois at Urbana-Champaign, and Dipl.-Ing. in Applied Mathematics from the Johannes Kepler University, Linz, Austria.
Research
N/A
Awards
Leo Bachmair is a recipient of the 2019 CADE Thoralf Skolem Award, 2015 CADE Thoralf Skolem Award, IEEE Symposium on Logic in Computer Science Test-of-Time Award 2013, IEEE Symposium on Logic in Computer Science Test-of-Time Award 2006, Alexander von Humboldt Foundation Research Fellowship and SUNY Chancellor's Award for Excellence in Faculty Service.
Teaching Summary
CSE 215, CSE 303, CSE 350, CSE 541