About
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.
0Publications listed
Find Claudia Link elsewhere
Related Searches
You Might Also Like
- MMichael LuttenbergerTechnical University of Munich · Professor
- FFrancisco Javier Esparza EstaunTechnical University of Munich · Professor
- PPascal EsserTechnical University of Munich · Researcher
- JJavier EsparzaTechnical University of Munich · Professor
Jan KretinskyTechnical University of Munich · Professor
Salomon SickertTechnical University of Munich · Research Fellow