About me


I am an Assistant Professor at Instituto Superior Técnico - Universidade de Lisboa, researcher at the Distributed Systems Group (GSD) of INESC-ID, and a member of the BIG ERA Chair Team. 

I have a BSc and a MSc in Informatics Engineering from Faculdade de Ciências da Universidade de Lisboa and a PhD in Computer Sciences and Engineering from Instituto Superior Técnico

As a researcher, I participated in the following projects: PATI, SITAN, SafeCloud, SEAL, and BIG ERA Chair.

My research interests are related to distributed systems, cybersecurity, and cloud. More specifically, I have been researching novel intrusion recovery methods for applications and systems running in the cloud environment. 

Selected Publications

  • Diogo Vaz, David R. Matos, Miguel L. Pardal, Miguel Correia
    Synthesis of Fault-Tolerant Reliable Broadcast Algorithms With Reinforcement Learning
    IEEE Access, 2023
  • David Matos, Miguel Pardal, Miguel Correia
    Sanare: Pluggable Intrusion Recovery for Web Applications.
    IEEE Transactions on Dependable and Secure Computing (TDSC), 2021
  • David Matos, Miguel Pardal, Georg Carle, and Miguel Correia
    RockFS: Cloud-backed File System Resilience to Client-Side Attacks
    In Proceedings of the 2018 ACM/IFIP/USENIX International Middleware Conference, Dec. 2018
    📄PDF 𐄁 📦Code 𐄁 Slides 𐄁 Video
  • David Matos, Miguel Pardal, and Miguel Correia
    Rectify: Black-Box Intrusion Recovery in PaaS Clouds
    In Proceedings of the 2017 ACM/IFIP/USENIX International Middleware Conference, Dec. 2017
    📄PDF 𐄁 📦Code
  • David Matos, Miguel Correia
    NoSQL Undo: Recovering NoSQL Databases by Undoing Operations
    In Proceedings of the 15th IEEE International Symposium on Network Computing and Applications (NCA), Nov. 2016
    📄PDF 𐄁 📦Code

View all