Miguel Pires
Software Engineer II at Canonical
London, England, United Kingdom
Summary
🤩
Rockstar🎓
Top SchoolMiguel Pires is a Software Engineer II with 12 years of experience specializing in distributed systems, currently working at Canonical in London after roles at Camunda and research at INESC‑ID. His academic background includes top‑ranked undergraduate and master's degrees in Information Systems and Computer Engineering, and ongoing PhD work at USC, focused on consensus and fault models. He has bridged deep research—extending Generalized Paxos to non‑crash (Byzantine) settings—with hands‑on engineering, shipping backend features for high‑visibility open source projects like snapd. Colleagues know him for rigorous protocol thinking applied to product code, from strict JSON parsing and command parsing improvements to package refresh/hold handling. He combines a researcher's precision with pragmatic shipping experience, making him effective at turning formal models into reliable production systems.
12 years of coding experience
4 years of employment as a software developer
Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at University of Southern CaliforniaBachelor's Degree, Information Systems and Computer Engineering, 16/20 (Top 2%), Bachelor's Degree, Information Systems and Computer Engineering, 16/20 (Top 2%) at Instituto Superior Técnico
English, Portuguese
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (10)
json-parser10
json10
command-line-interface10
go10
parsing10
command-line10
cli10
testing9
configuration-management9
linux8
Programming languages (7)
Github contributions (5)
canonical/snapd
Aug 2021 - Jan 2023
The snapd and snap tools enable systems to work with .snap files.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:1970 reviews, 473 commits, 560 PRs in 1 year 5 months
Contributions summary:Miguel primarily contributed to the `snapd` repository by implementing features related to configuration management, particularly focusing on JSON parsing and string parsing within the `snap set` and `snapctl set` commands. They added support for strict JSON parsing, string handling, and the use of flags for specifying different parsing methods. Their contributions also included adding tests to validate the implemented functionality and ensuring the correct parsing of different values. They also added code related to "refresh" features, particularly the handling of snap package holds.
snapdsnap
MiguelPires/Algorithms
Feb 2015 - Jul 2020
Contributions:4 pushes in 5 years 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.