About Me
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
Research
Publications
UT Research Information System
Education
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.
Contact Details
Visiting Address
University of Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling
(building no. 11)
Hallenweg 19
7522NH Enschede
The Netherlands
Mailing Address
University of Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling
P.O. Box 217
7500 AE Enschede
The Netherlands