Massimiliano Girardi
Software Developer at Canonical
Lugano, Ticino, Switzerland
Summary
👤
Senior🎓
Top SchoolMassimiliano Girardi is a software developer based in Lugano with 10 years of experience building high-reliability embedded and real-time systems and a strong academic foundation in computer science. He brings deep expertise in hardware-adjacent programming and Formal Verification, cultivated through roles developing simulators and tooling for safety-critical GoA4 ATO projects at FBK. Now at Canonical, he combines rigorous, objective-driven engineering with practical software tooling skills in languages like C# and Python. His teaching and tutoring background gives him an above-average ability to decompose complex problems and communicate technical concepts at multiple levels. Colleagues rely on him for efficient, quality-focused implementations and for organizing work into clear, testable units.
10 years of coding experience
4 years of employment as a software developer
Master's degree, Computer Science, Master's degree, Computer Science at Università di Trento
Github Skills (70)
sqlite-database10
snap10
software-update10
monorepo10
distribute10
json10
checkbox10
checker10
nodejs10
lerna10
sqlitebrowser10
react10
linux9
yaml9
database9
Programming languages (5)
Github contributions (5)
Hook25/SelfLanguage
Jan 2016 - May 2016
Contributions:1 PR, 176 pushes, 5 branches in 3 months
programming-languageinterpretedinterpreted-language
DODOGroup/DODODraw
Sep 2015 - Oct 2015
Contributions:27 commits, 27 pushes, 2 branches in 1 month
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.