Dominic Zimmer

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

My research interests revolve around (formal methods, programming languages and paradigms, mathematics) and teaching thereof. I am particularily interested in the theory of continuous-time Markow-chains (CTMCs) and Phase-Type distributions. Though not in the focus of my research, I am interested in functional programming and category theory.

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

Contact