Miguel Correia is an Associate Professor at
Instituto Superior Técnico (IST) of
Universidade de Lisboa (ULisboa), in
Portugal. He is a Senior Researcher
at INESC-ID and currently the Scientific Coordinator of the
Distributed Systems Group (GSD).
He is a non-executive member of the Board of
He has a PhD in Computer Science from the Universidade de Lisboa
Faculdade de Ciências.
He has been involved in several international and national research projects related to cybersecurity, including the SafeCloud,
PCAS, TCLOUDS, ReSIST, CRUTIAL, and MAFTIA European projects.
He has more than 150 publications and is Senior Member of the IEEE.
He is involved in the ISO TC 307 - Blockchain and distributed ledger technologies.
His research is focused on (cyber)security and dependability (aka fault tolerance),
typically in distributed systems, in the context of different applications (blockchain, cloud, mobile).
He is particularly interested in the fault/intrusion tolerance approach, in which systems have to
continue to operate correctly irrespectively of the occurrence of faults, attacks, and intrusions.
His main research topics are:
blockchain and Byzantine consensus,
cloud security and dependability,
mobile security and dependability,
big data security analytics and intrusion detection, and
secure and dependable communications.