Anna Liolios-Zimmermann

Anna Liolios-Zimmermann is affiliated with the Department of Computer Science at the University of Freiburg. She has held academic roles since at least 2013, specializing in teaching and research areas such as Software Engineering, Program Verification, and Cyber-Physical Systems. Her teaching spans courses like Softwaretechnik / Software Engineering, Cyber-Physical Systems I - Discrete Models, and Automatentheorie. She has consistently contributed to undergraduate and graduate courses, reflecting her expertise in theoretical computer science and practical software methodologies.

Research interests include formal methods for software analysis, verification techniques, and hybrid systems. She collaborates on projects involving tools like Ultimate, SMTInterpol, and Hybrid systems analysis, contributing to automated reasoning and model checking. No specific scientific awards are listed in her profile.

Her involvement in teaching extends to student projects, practical labs (Softwarepraktikum), and seminars on topics such as Decision Procedures and Static Code Analysis. She has co-organized courses with colleagues in areas like Real-Time Systems and UML-based software design.