Academic Portfolio
Talks
Guaranteed Trade-Offs in Dynamic Information Flow Tracking Games. ConVeY Retreat 2021, MOVEP 2022, ROCKS 2022. Extended Abstract.
An Anytime Algorithm for Reachability on Uncountable MDP. Highlights 2020, MOVEP 2020. Extended Abstract. Poster.
Motion Planning in Unknown Environments. Highlights 2021. Poster.
Introduction to Quantum Computing. ConVeY Weekly Seminar 2022. Part1, Part2, Part3.
Planning via Model Checking With Decision-Tree Controllers. Highlights 2022.
Learning to the Rescue of Verification and Synthesis for Cyber-Physical Systems. ConVeY Retreat 2023. Poster.
Teaching Assistance
Chennai Mathematical Institute
Theory of Computation. 2018/19.
Model Checking and Systems Verification. 2018/19.
Technical University of Munich
IN2157 Fundamental Algorithms. Winter 2021/22, Winter 2022/23, Winter 2023/24.
IN2340 Quantitative Verification. Winter 2020/21, Winter 2021/22.
IN2050 Model Checking. Summer 2020, Summer 2021, Summer 2022.
Artifact Evaluation
Reviewing
Reviewer for Journals
IEEE Robotics and Automation Letters, Information and Computation.
Sub-Reviewer for Journals
IEEE Transactions on Automatic Control.
Reviewer for Conferences
ICRA 2025, ICLR 2025.
Sub-Reviewer for Conferences
AISoLA 2023, ICALP 2023, QEST 2023, LICS 2022, TACAS 2022, VMCAI 2022, QEST 2022, CONCUR 2021, TACAS 2021, ICTAC 2020, QEST 2020.
Supervision
Niklas Lachmann: Dynamic and Linear Programming for Multidimensional Mean-payoff Markov Decision Processes. B.Sc. Thesis, 2022.