Leo Bachmair

Leo Bachmair
Professor

Department of Computer Science
Room 231
Stony Brook, NY 11794-2424

Phone: 
(631) 632-8452
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