Steffen Lempp
Expert in mathematical logic, particularly computability theory
Professor emeritus, mathematics College of Letters and Science — Home and cell phones available upon request lempp@math.wisc.edu Home page
Topics
- Mathematical logic, particularly computability theory: Study of the effective content of mathematics, with applications to algebra, model theory and proof theory
Achievements
- Author of more than 100 scholarly research papers
- Adviser of 17 Ph.D. students and mentor of several post-doctoral fellows