About Me

Hello! Since December 2017, I’m a Doctoral candidate advised by Prof. Jan Křetínský in the Chair for Foundations of Software Reliability and Theoretical Computer Science at the Technical University of Munich.

My current work revolves around formal methods and verification, specifically statistical unbounded verification. Read more about my research activities on dblp or google scholar.


  1. Kelmendi, E., Krämer, J., Kretinsky, J., & Weininger, M. (2018). Value Iteration for Simple Stochastic Games: Stopping Criterion and Learning Algorithm. CAV 2018. (pre-print).

  2. Křetínský, J., Meggendorfer, T., Waldmann, C., & Weininger, M. (2017). Index appearance record for transforming Rabin automata into parity automata. TACAS 2017. (pre-print).

  3. Zolg, D. P., Wilhelm, M., Schnatbaum, K., Zerweck, J., Knaute, T., Delanghe, B., …, Weininger, M. & Yu, P. (2017). Building ProteomeTools based on a complete synthetic human proteome. Nature methods 14.3 (2017): 259.