In previous episodes

2025-11-17 (current)

I am a PhD student in Ralf Jung’s group at ETH Zurich, working on Iris and Rust.

2025-08-09

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.