Home
Welcome on my site!
I am currently a postdoctoral researcher with an interest in programming languages, formal verification and proofs and proof assistants. In a short few days, I will be working as a research fellow for the Trustworthy and Secure Software group at the National University of Singapore, on Agentic Verification.
Previously, I have done my PhD at the Formal System Analysis Group at the TU Eindhoven, which led to the thesis A Parallel Programming Perspective.
In my free time, I enjoy cooking, D&D and reading. I have been asked to keep a blog on my time in Singapore, which can be found here.
I also worship my cat, Poekie, who is sadly not joining me in Singapore.