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

Preliminary Title: Archimedean Ordered Fields with NIP (since July 2022)
Supervisors: Prof. Dr. Salma Kuhlmann and Dr. Lothar Sebastian Krapp
University of Konstanz

As part of my doctoral project, from October 2022 to and including March 2025 I was involved in the research project Fundamentale Grenzen von Lernprozessen in künstlichen neuronalen Netzen (in English: Fundamental Limits of Learning Processes in Artificial Neural Networks), which was led by Dr. Lothar Sebastian Krapp and supported by the funding program MINT-Innovationen 2022 (in English: STEM-Innovations 2022) of Vector Stiftung.

Overview














Last update:
myFunction();