Elisabeth Sommer

Elisabeth Sommer is a Lecturer at the Chair of Languages and Description Structures in Computer Science at Technische Universität München (TUM). She has been actively involved in teaching since at least 2018, specializing in compiler design, programming languages, and static analysis. Her courses include Compiler Construction, Virtual Machines, and Functional Programming and Verification. She has consistently taught advanced topics such as program optimization, language-based security, and quantum computing in compilers.

Research interests focus on compiler design principles, static analysis techniques, and the integration of quantum computing with compiler optimization. She collaborates on projects like Goblint (a static analyzer) and contributes to initiatives such as SpAGAT and Teleteaching. Elisabeth has organized events like the Summer School Marktoberdorf 2019 and contributed to academic workshops.

Her teaching spans multiple semesters, including recent offerings like Static Analysis - Strengthen Equalities by Relaxing Polyhedra (Summer 2025) and Quantum Computing at Compile Time (Winter 2024/25). She advises student theses and practical courses, though specific student names are not listed.