Model Checking (Tutorial)
Dresden University of TechnologySelected Topics in Logic and Verification (Seminar)
Dresden University of TechnologyTheoretical Computer Science (Undergraduate Seminar)
Dresden University of TechnologyDiscrete Probability Theory (Tutorial)
Technical University of MunichIntroduction to Computer Architecture (Tutorial)
Technical University of MunichI am happy to supervise student projects — feel free to reach out.
Strategy Templates (Working Title)
Bachelor's ThesisCertificates for Probabilistic Model Checking
InternshipTowards Explainable Formal Analysis and Synthesis for Sensor Networks
Bachelor's ThesisAn Efficient and Extensible Implementation for Computing Certificates and Witnessing Subsystems for Markov Decision Processes
Bachelor's Thesis