I'm a PhD student at the Chair for Foundations of Software Reliability and Theoretical Computer Science, Technical University of Munich, Germany. I'm mainly working on (probabilistic) model checking and automata theory. Here is my DBLP, Scholar profile, ORCID, and GitHub.
You can contact me at "firstname DOT lastname AT in DOT tum DOT de". I should reply within a few hours :)