Alessio Duè
Doctoral Student at ETH Zürich
Zurich, Zurich, Switzerland
Summary
👤
Senior🎓
Top SchoolAlessio Duè is a doctoral student at ETH Zürich specializing in formal verification and Rust, with nine years of hands-on experience in research and teaching. His recent work spans Rocq and Iris frameworks and applies mechanized proofs to low-level systems, including a master's thesis on proving security properties of MSP430 microcontrollers with Katamaran. A dual cum laude graduate from Università di Pisa (bachelor and master), he has practical experience designing effect handlers and teaching foundational computer science courses. He maintains personal projects on Codeberg and GitLab, favoring open collaboration over mainstream GitHub exposure. Alessio combines rigorous academic training with practical tool-building for verified systems, often bridging proof engineering and systems programming. Based in Zurich, he brings a rare blend of formal-methods depth and systems-level curiosity to verification challenges.
9 years of coding experience
High School Diploma, 100L, High School Diploma, 100L at Liceo scientifico U. DiniMaster's degree, Computer Science, 110, cum laude, Master's degree, Computer Science, 110, cum laude at Università di Pisa
Italian, English
Github Skills (73)
science10
ranking10
linux9
api9
authentication9
openldap9
computer-science9
react9
rust8
emacs8
lua8
vim8
neovim8
text-editor8
security7
Programming languages (14)
Github contributions (5)
FTL-Space-Warp/IRIS
Sep 2017 - Oct 2019
Contributions:12 PRs, 31 pushes, 2 branches in 2 years 1 month
dalz/dotfiles
Nov 2017 - Apr 2019
Contributions:53 pushes, 1 branch in 1 year 5 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.