Claudia Link

Claudia Link is a faculty member at the Technical University of Munich, actively involved in teaching courses related to theoretical computer science and formal methods since at least 2020. Her academic work intersects with automated verification, logic, and computational models, as evidenced by her recurring instruction in subjects like Petri Nets, Model Checking, and Automata Theory.

• Teaching Expertise: Courses include Introduction to Theoretical Computer Science, Automata and Formal Languages, and seminars on Verification of Neural Networks and Model Checking.
• Research Involvement: Associated with projects PaVeS (Parameterized Verification) and ConVeY (Conformance Testing and Verification), likely focusing on formal verification techniques.
• Tools Development: Linked to academic tools such as Automata Tutor, Owl, Peregrine, Rabinizer, SeQuaiA, and Strix, which support automata theory and verification research.

Contact: Phone +49 (89) 289 - 17234, Room 5611.03.052.