Hello, I'm Aurel.

I am a PhD student at ETH Zurich, working on formal verification of Rust programs. You can find a list of my publications here.

Outside of work I spend a lot of time participating in gamejams and CTFs.