Miguel Matos

Miguel Matos is an Assistant Professor at Instituto Superior Técnico (IST) of Universidade de Lisboa and a Researcher at INESC-ID's Distributed Systems Group. His research focuses on Persistent Memory systems, blockchain scalability, distributed systems evaluation, and database performance. He has led major projects such as Angainor (reproducible evaluation tools) and ACT-PM (crash-consistency testing).

Research interests include exploring persistent memory's challenges, blockchain Layer-2 limitations, automated bug detection (HawkSet, Mumak), and decentralized network emulation (Kollaps). He has received awards like the Gilles Muller Best Artefact Award at EuroSys 2025 and Best Paper Awards at DAIS 2017 and IPDPS 2012. He coordinates multi-million Euro grants including EU's Qualichain and national FCT projects.

Teaching includes courses like 'Highly Dependable Systems' and 'Large-Scale Systems Engineering' at IST. His work bridges academia and industry, collaborating with startups like MIMA Housing and LeanXcale.