I am a PhD student in Ralf Jung’s group at ETH Zurich, working on Iris and Rust.
I recently completed my master’s degree in Computer Science at the University of Pisa and am scheduled to start a PhD at the ETH soon.