guertler at cs.uni-saarland.de
Saarland Informatics Campus
E1 3, R. 507
66133 Saarbrücken
I am a PhD student in the Quantitative Verification Group headed by Professor Benjamin Kaminski since May 2023 and I am a member of the Saarbrücken Graduate School of Computer Science.
Research
I am working on analysis methods for probabilistic programs. More precisely , I am interested in exact static inference methods for discrete probabilistic programs, and I have recently worked on combining conditioning and (non-probabilistic) nondeterminism in this context.
Thesis Projects
If you are interested in writing a Bachelor’s or Master’s thesis in quantitative aspects of logic or verification, don’t hesitate to contact me.
Talks
- Probabilistic Belief Programming, Contributed Talk for the Veriprop 2023 Workshop co-located with CAV 2023
Teaching
I am currently involved in the seminar Aspects of Quantitative Program Verification, in past terms I gathered the following teaching experience:
| Winter term 2019/20 | Programming 1 | Student TA |
| Winter term 2020/21 | Introduction to Algorithms and Data Structures | Student TA |
| Summer term 2021 | Concurrent Programming | Student TA |
| Summer term 2022 | Concurrent Programming | Student TA |