Miguel Matos
Assistant Professor at INESC-ID
Lisbon, Lisbon, Portugal
Summary
👤
Senior🎓
Top SchoolMiguel Matos is an assistant professor and senior researcher in Lisbon with a decade of experience designing and evaluating very large-scale distributed systems. His work spans scalability, fault-tolerance, consistency and ACID transactional databases, with hands-on product experience from helping build LeanXcale’s OLTP/OLAP engine. He combines rigorous academic research—publishing in top venues and leading EU and national project proposals—with practical systems engineering, including a startup co-founder role where he built automation software for housing services. Miguel’s specialty is automating and decentralizing management of large-scale cloud, SmartGrid and IoT infrastructures under dynamic constraints, blending theory and deployment-aware solutions. He is an experienced communicator and speaker (Toastmasters and technical events) who translates complex distributed-systems problems into actionable system designs.
10 years of coding experience
8 years of employment as a software developer
Master, Distributed Systems, Master, Distributed Systems at Universidade do Minho
English, Portuguese
Stackoverflow
1reputation
241reached
0answers
2questions
Github Skills (40)
javascript10
ios10
react-native10
electron10
windows10
linux10
onedrive10
android10
dropbox10
macos10
nodejs10
webdav10
obsidian10
evernote10
nextcloud10
Programming languages (7)
Github contributions (5)
QualiChain/hei-did
Nov 2019 - Sep 2021
Access Control and Identity Management
Contributions:1 push, 1 branch in 1 year 10 months
access-controlidentity-management
miguelammatos/sysartifacts.github.io
Jul 2023 - Feb 2024
Website for Artifact Evaluation at EuroSys, SOSP, OSDI
Contributions:8 pushes in 7 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.