Since 2020, I'm a PhD within the FMT group, working on software verification.
Before joining the UT, I studied Computer Science at the RWTH Aachen University in Germany, and did a traineeship at the European Space Agency in Noordwijk.
For more info on current projects that I'm working on, please check out the "Research" tab.
Organisations
I'm working on the software verification tool VerCors ( https://vercors.ewi.utwente.nl/) as part of the Mercedes Project ( https://www.utwente.nl/en/eemcs/fmt/research/projects/Mercedes/). I'm interested in improving the usability of VerCors, by reducing the effort that is needed from a developer to verify their program. In particular, I want to generate (parts of) the necessary annotations and specifications automatically.
Research profiles
I'm assisting in teaching the course Advanced Logic.
If you want me to supervise your Bachelor or Master thesis, check out open topics at FMT (BSc projects and MSc projects), or contact me with your own ideas.
Scan the QR code or