About Me & Contact

I’m a informatics (computer science) PhD student at the Chair for Foundations of Software Reliability and Theoretical Computer Science supervised by Javier Esparza. During my Bachelor’s studies I worked on (Parametric) Modal Transition Systems and during my Master’s studies I switched to the translation of LTL to (deterministic) ω-Automata, where I’m continuing my research.

Feel free to contact me anytime via sickert@in.tum.de or use the complete contact details from here.

Profiles on Other Sites