I am a postdoctoral researcher in the Computational Logic group at TU Dresden. Before that, I worked as a research associate at the Chair for Foundations of Programming. During my time as a doctoral student I was a scholarship holder in the DFG Research Training Group QuantLA.
My research focuses on the field of formal languages and automata theory.
I am/was a teaching assistant in the following courses.