Kim Völlinger

Dr. Kim Völlinger is a Researcher at the Technical University of Berlin in the Models and Theory of Distributed Systems group. Her academic career spans formal methods, trustworthy machine learning, and distributed systems, with a focus on integrating interactive proof assistants like Coq for neural network verification.

• Education: Computer Science with a minor in Cognitive Psychology at Humboldt University of Berlin and ENSEEIHT in Toulouse, France
• PhD Supervisors: Wolfgang Reisig (HU Berlin), Kurt Mehlhorn (MPI-INF Saarbrücken), Holger Schlingloff (Fraunhofer FOKUS)

Her research bridges theoretical computer science and practical verification, exploring witness-based runtime verification for asynchronous systems, hybrid system formalization, and LLM-supported proof synthesis. She also contributes to interdisciplinary collaborations, particularly evident in her microbiology-related publications.

Recent publications on Google Scholar highlight her work in environmental microbiology, including microbial community dynamics in petroleum reservoirs, DNA extraction from crude oil, and bacterial stress responses in extreme saline environments. These studies reflect cross-disciplinary applications of computational modeling to environmental systems.

Teaching activities include formal languages, automata theory, and interactive theorem provers. She actively mentors doctoral students, leads research-oriented master's projects, and supervises student theses.

The Models and Theory of Distributed Systems group at TU Berlin serves as her primary research environment, where she continues to develop tools for computational verification and machine-reviewed proofs.