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.

I also spend a lot of time participating in gamejams and CTFs and drawing.