About me
Since November 2021, I am a consultant at d-fine GmbH. Before that, I was a doctoral researcher at Research Group Computer Science 2 from April 2017 to October 2021. From October 2017 to December 2020, I hold a scholarship by the RTG UnRAVeL funded by the German Research Association (DFG).
- I contributed to KoAT 2.
- I contributed to the Automated Program Verification Environment (AProVE) tool.
My research focused on
- (automated) runtime analysis of
- (probabilistic) programs
- (probabilistic) term rewriting systems
- semantics of (probabilistic) programs
- decidability of termination and complexity
Publications
Show / Hide
- Online version at the library of RWTH Aachen University
- Slides of defense talk.
- SpringerLink
- Extended Version appeared as arXiv:2010.06367 [cs.LO]
- This website contains further information on our experimental evaluation.
- Slides of a related talk
- SpringerLink
- Extended Version appeared as arXiv:1910.11588 [cs.LO]
- Slides of a related talk
- Recording of a related talk
- EasyChair publications
- Slides of a related talk
- ACM Transactions
- Extended Version appeared as arXiv:1904.01117 [cs.LO]
- Slides of a related talk
- Recording of a related talk
- SpringerLink
- Extended Version appeared as arXiv:1905.09544 [cs.LO]
Activities
Show / Hide
AE-Member of the 14th International Conference on Tests and Proofs (TAP '20), Bergen, Norway
2019
AE-Member of the 21st International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI '20), New Orleans, USA
2020
AE-Member of the 13th International Conference on Tests and Proofs (TAP '19), Porto, Portugal
2019
I have been an external reviewer at the following conferences
- CAV (2021)
- LPAR (2020)
- ICALP (2020, 2021)
- ATVA (2019)
- CADE (2019)
- FSCD (2019)
- LPAR (2018)
- TACAS (2018)
2018-today
Teaching
Show / Hide
Lecture Functional Programming
SuSe 21
Seminar Satisfiability Checking
SuSe 21
Proseminar Programming Concepts
SuSe 21
Lecture Logic Programming
SuSe 20
Seminar Satisfiability Checking
SuSe 20
Proseminar Programming Concepts
SuSe 20
Lecture Programming
WiSe 19
Seminar Verification Techniques
WiSe 19
Lecture Functional Programming
SuSe 19
Proseminar Advanced Programming Techniques
SuSe 19
Seminar Verification Techniques
SuSe 19
Seminar Verification Techniques
WiSe 18
Lecture Programming
WiSe 18
Seminar Verification Techniques
WiSe 17
Lecture Programming
WiSe 17
Lecture Formale Systems, Automata and Processes
SuSe 17
Proseminar Advanced Programming Techniques
SuSe 17