Miguel Correia is Associate Professor with Habilitation (Agregação) at
Instituto Superior Técnico (IST) of
Universidade de Lisboa (ULisboa), in
Lisboa,
Portugal. He is a Senior Researcher
at INESC-ID and currently the Scientific Coordinator of the
Distributed Systems Group (GSD).
He is co-founder of
Blockbird Ventures, a startup in the Blockchain market.
He is a non-executive member of the Board of
Associação .PT.
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 QualiChain, SPARTA, SafeCloud,
PCAS, TCLOUDS, ReSIST, CRUTIAL, and MAFTIA European projects.
He has more than 150 publications and is Senior Member of the IEEE.
His research focuses on cybersecurity 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,
trusted computing,
software security,
mobile security and dependability,
big data security analytics and intrusion detection, and
secure and dependable communications.
email:
miguel.p.correia_AT_tecnico.ulisboa.pt
