I have been working at the chair of Prof. Holger Hermanns since April 2023.

My research interests revolve around (formal methods, programming languages, mathematics) and teaching thereof. I am a co-maintainer of the pseuCo.com project. With my thesis entitled “Understanding pseuCo - Visualization of Nested-Unit Colored Petri Nets” I completed my M.Sc. in computer science in March 2023

Teaching Experience

Teaching Assistant

Summer 2023 Teaching Assistant for Statistics Lab
Summer 2022 Teaching Assistant for Competitive Programming
Summer 2020 Teaching Assistant for Competitive Programming

Student TA

Winter 2017/18 Student TA for Automated Reasoning
Winter 2018/19 Student TA for Automated Reasoning

Contact

Address: Campus Saarbr├╝cken, 66123 Saarbr├╝cken
Location: Bldg. E1 3, Room 524
E-mail: zimmer@depend.uni-saarland.de