Miguel Correia is an Associate Professor at Instituto Superior Técnico (IST) of Universidade de Lisboa (ULisboa), in Lisboa, Portugal. He is a Senior Researcher at INESC-ID in the Distributed Systems Group (GSD). 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. 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). 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.