I did my Bachelor's thesis at the Programming Systems Lab in 2021. Afterwards, I moved to the University of Cambridge as an MPhil student. Now, I am a PhD student under Peter Sewell at the University of Cambridge.
You can reach me at "first name"."last name"@cl.cam.ac.uk