to the Mathematical Logic Group at the University of Bonn. Our
research areas are model theory and general logic. Please browse our website
Subscribe to the mailing list for logic activities in Bonn: https://listen.uni-bonn.de/wws/subscribe/logic.
- 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