miguel pupo correia           
 

personal data

 

contacts

INESC-ID
Rua Alves Redol 9, 6º andar, gab. 603
1000-029 Lisboa
Portugal

Tel:  +351 21 3100278
Fax: +351 21 3145843
Office at INESC-ID Lisboa - 603

Email: miguel.p.correia_AT_tecnico.ulisboa.pt

 

bio

Miguel Correia is Associate Professor with Habilitation (Agregação) at Instituto Superior Técnico of the Universidade de Lisboa, in Lisboa, Portugal. He is a senior researcher at INESC-ID in the Distributed Systems Group (GSD). He is currently a non-executive member of the Board of Associação .PT, the registry for the .pt Internet domain. He has a PhD in Computer Science from the University of Lisboa Faculty of Sciences. He has been involved in several international and national research projects related to intrusion tolerance and security, including the QualiChain, SPARTA, SafeCloud, PCAS, TCLOUDS, CRUTIAL, ReSIST, and MAFTIA European projects. He has more than 150 publications. His main research interests are: security, intrusion tolerance, distributed  systems, distributed algorithms, computer networks, cloud computing, and critical infrastructure protection.

bio

Miguel Correia is Associate Professor with Habilitation (Agregação) at Instituto Superior Técnico, the engineering school of Universidade de Lisboa, the largest in Portugal, and Senior Researcher at the INESC-ID lab, one of the most dynamic research institutes in Portugal in computer engineering, electronics, and communications. He is Co-Founder and the Scientific Coordinator of Blockbird Ventures. Miguel Correia has a PhD in Computer Science from the Universidade de Lisboa Faculdade de Ciências. He has been involved in many international and national research projects related to cybersecurity and Byzantine fault tolerance, and more recently Blockchain, including the QualiChain, SPARTA, SafeCloud, PCAS, TCLOUDS, ReSIST, CRUTIAL, and MAFTIA European projects. He has more than 150 scientific publications, two books on cybersecurity, and is Senior Member of the IEEE. He does research for 20 years in intrusion tolerance and Byzantine fault tolerance, which are core scientific topics of blockchain technology. He is involved in several blockchain projects and is a member of the ISO Technical Committee 307 - Blockchain and distributed ledger technologies. He is the Portuguese representative at the European Blockchain Partnership, that is developing the European Blockchain Services Infrastructure.

 

nota biográfica

Miguel Correia é Professor Associado com Agregação do Instituto Superior Técnico da Universidade de Lisboa e investigador do INESC-ID. Esteve envolvido em vários projectos de investigação, entre os quais se destacam os projectos europeus MAFTIA, CRUTIAL, ReSIST, TCLOUDS, PCAS, SafeCloud, SPARTA e QualiChain. Tem mais de 150 publicações em revistas, conferências e workshops. Os seus principais interesses são: segurança, tolerância a intrusões, sistemas distribuídos, algoritmos distribuídos, redes de computadores, computação em cloud e protecção de infraestruturas críticas. Mais informação sobre as suas actividades em http://homepages.gsd.inesc-id.pt/~mpc/

home | last update: 05-10-2018