I’m Alessio Duè and you’ve come across my website!
I am a PhD student in Ralf Jung’s group at ETH Zurich, working on Iris and Rust.
Previously…
Not much at this time! You can have a peek at some older blog posts of mine.