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.
11 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 (65)
testing10
sqlite-database10
ubuntu10
linux10
patch10
checkbox10
sqlitebrowser10
yaml9
database9
delta9
json9
sqlite9
jq9
libxlsxwriter8
python8
Programming languages (6)
Github contributions (5)
Hook25/SelfLanguage
Jan 2016 - May 2016
Contributions:1 PR, 176 pushes, 5 branches in 3 months
programming-languageinterpretedinterpreted-language
canonical/snapcraft-multiarch-action
Nov 2024 - Jun 2026
Action to build cross-arch snaps using qemu
Contributions:1 release, 2 reviews, 8 PRs in 1 year 6 months
cross-buildqemusnapcraft
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.