About
I am a research assistant and PhD candidate in the Formal Method Group at the Carl von Ossietzky Universität Oldenburg. I joined the CAUSE research group as a fellow in 2024. Below you can find a list of my past and current research topics, as well as other topics I am interested in despite not having gotten to work with them yet. I am open to collab on related projects together.
Past Research Topics
- Machine Learning in Software Verification
Current Research
- Software Analysis
- Fault Localization
- Blame Analysis
- Software Verification
- Contract Languages
Other Interests
- Medical Computer Science