Miguel Matos

I am an Assistant Professor at Instituto Superior Técnico of the Universidade de Lisboa and a Researcher at INESC-ID in the Distributed Systems Group.

My current research interests lie on the areas Persistent Memory, and the oportunities and challenges it brings to programmers; blockchain scalability, security and performance; systems evaluation in particular in the topics of reproducibility and automation; as well as databases performance and consistency guarantees.

Main publications and citations are indexed as Miguel Matos in Google Scholar, DBLP and ACM.

In a previous life I was involved in a few startups: I’ve co-founded MIMA Housing and Dependableware, and was an early research engineer at LeanXcale.


January 2022 Our FCT project Ainur about evaluating crash-consistency guarantees in PM applications just started. Check the webpage for details.

October 2021 Our paper Kauri: Scalable BFT Consensus with Pipelined Tree-Based Dissemination and Aggregation got accepted at SOSP 2021.

September 2021 Our paper Consensusless cryptocurrencies in Ethereum got the best paper award at INForum 2021! Congratulations to Paulo and João.

For more news check here.

Recent Selected Publications

Kauri: Scalable BFT Consensus with Pipelined Tree-Based Dissemination and Aggregation. SOSP 2021. Ray Neiheiser, Miguel Matos and Luís Rodrigues.

Kollaps: decentralized and dynamic topology emulation. EuroSys 2020. Paulo Gouveia, João Neves, Carlos Segarra, Luca Liechti, Shady Issa, Valerio Schiavoni, Miguel Matos.

Exploiting Symbolic Execution to Accelerate Deterministic Databases. ICDCS 2020. Shady Issa, Paolo Romano, Miguel Matos, Miguel Viegas, Pedro Raminhas, Nuno Machado

Hourglass: Leveraging Transient Resources for Time-Constrained Graph Processing in the Cloud. EuroSys 2019. Pedro Joaquim, Manuel Bravo, Luís Rodrigues and Miguel Matos.

For the full list of publications check here

Ongoing Projects

Angainor - Reproducible Evaluation and Fault Injection of Large-Scale Distributed Systems. Principal Investigator. FCT LISBOA-01-0145-FEDER-031456.

ACT-PM - Automating Crash-Consistency Testing for Persistent Memory. Principal Investigator. UTA-EXPL/CA/0080/2019.

Qualichain - Decentralised Qualifications’ Verification and Management for Learner Empowerment, Education Reengineering and Public Sector Transformation EU H2020 grant agreement No 822404

For more details about projects check here.