Registered user since Fri 8 Dec 2023
BSc Mathematics from Ruhr University Bochum. Worked on Exact Separation Logic during an internship with Philippa Gardner’s group at Imperial College London in 2021.
Currently studying English Literature at Vrije Universiteit Amsterdam.
This summer I worked on a new approach to prove non-termination bugs during an internship at Bloomberg LP under the supervision of Julien Vanegue and Azalea Raad.
The slides of my talk “The Never-Ending Trace”, held on January 16th, 2024, at the POPL Incorrectness Workshop, are uploaded to the workshop program, and can also be found on my LinkedIn profile, which is linked above!
Feel free to reach out to me anytime with questions, suggestions and feedback - I am always excited to talk about research! — firstname.lastname@example.org —
Formal Methods for Incorrectness
View general profile