Hello, I'm Aurea [she/her].

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.