I am a PhD candidate at EPF Lausanne, working on complexity theory under Mika Göös. I did my undergrad an masters at the University of Cambridge, specialising in mathematical logic and computation theory. In my spare time I write code, play sports and occasionally create music.
I am a big proponent of keeping AI use minimal, especially in coding, teaching, and reserach. All of the projects below were written and are maintained by myself, without the help of AI. The few exceptions are clearly labelled as such.