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 (78)
ranking10
emacs9
science9
ftp-server9
computer-science9
react9
rust8
api8
photo-gallery8
linux8
javascript8
authentication8
lua8
nestjs8
android-open-source8
Programming languages (16)
Github contributions (5)
FTL-Space-Warp/IRIS
Sep 2017 - Oct 2019
Contributions:12 PRs, 31 pushes, 2 branches in 2 years 1 month
dalz/master-thesis
Feb 2025 - Dec 2025
Contributions:3 PRs, 29 pushes, 1 branch in 9 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.