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.

 

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