Department of
Mathematics and Statistics 		University of
Konstanz 		 
Research Group in Real Algebraic Geometry > Working Group on Mathematical Logic, Set Theory and Model Theory > Prof. S. Kuhlmann > Staff > Laura Wirth

DE Deutsche Version

Research Interests

I am mainly interested in the model-theoretic study of ordered algebraic structures and their connections to Theoretical Computer Science. This involves generalized power series fields, order types, formal power series, weighted automata, weighted monadic second-order logic, archimedean ordered fields, the NIP property and learnability of neural networks. Many of the questions motivating my work originate from Mathematical Logic and have connections to Valuation Theory, Real Algebra, Set Theory, Automata Theory and Decidability Theory.

Doctoral Research Project

Archimedean Ordered Fields with NIP (since July 2022)
Supervisor: Prof. Dr. Salma Kuhlmann
Mentor: Dr. Lothar Sebastian Krapp
University of Konstanz

Overview














Last update:
myFunction();