Welcome
to the Mathematical Logic Group at the University of Bonn. Our
research areas are model theory and general logic. Please browse our website
for details.
Subscribe to the mailing list for logic activities in Bonn: https://listen.uni-bonn.de/wws/subscribe/logic.
Research Interests
- Model theory: o-minimality, its generalizations and their applications.
- Theoretical Computer Science: automata theory, complexity theory and computability theory.
- General Logic: interactive and automated theorem proving
- Axiomatic set theory