## About me

I have been a doctoral researcher at Research Group Computer Science 2 since April 2017. From October 2017 to December 2020, I have been holding a scholarship by the RTG UnRAVeL funded by the German Research Association (DFG).

- I am one of the main developers of KoAT 2.
- I contributed to the Automated Program Verification Environment (AProVE) tool.

I am interested in

- (automated) runtime analysis of
- (probabilistic) programs
- (probabilistic) term rewriting systems
- semantics of (probabilistic) programs
- decidability of termination and complexity

## Publications

## Show / Hide

- 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

- LPAR (2020)
- ICALP (2020)
- ATVA (2019)
- CADE (2019)
- FSCD (2019)
- LPAR (2018)
- TACAS (2018)

2018-today

## Teaching

## Show / Hide

### 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