miguel pupo correia           
 

home

publications by date

publications by topic

students

projects

events

teaching

software

presentations

media coverage


em Português:

informação para potenciais alunos

segurança informática

ensino e investigação
 


AMAZON


FCA, FNAC, WOOK, SUBMARINO

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
Office at IST TagusPark - 2N1.21

Email: miguel.p.correia_AT_tecnico.ulisboa.pt

 

bio

Miguel Correia is an Associate Professor at Instituto Superior Técnico of the Universidade de Lisboa, in Lisboa, Portugal. He is a researcher at INESC-ID in the Distributed Systems Group (GSD). He is currently the coordinator of the Master Degree (MSc) in Information Systems and Computer Engineering. 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 PCAS, TCLOUDS, CRUTIAL, ReSIST, and MAFTIA European projects. He has more than 100 publications. His main research interests are: security, intrusion tolerance, distributed  systems, distributed algorithms, computer networks, cloud computing, and critical infrastructure protection.

 

Miguel Correia is an Associate Professor at Instituto Superior Técnico of the Universidade de Lisboa. He is a researcher at INESC-ID, in the Distributed Systems Group. Until recently he was with the University of Lisboa Faculty of Sciences, LASIGE and the Navigators. 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 PCAS, TCLOUDS, MAFTIA and CRUTIAL EC-IST projects, and the ReSIST NoE. He has more than 100 publications. His main research interests are: security, intrusion tolerance, distributed  systems, distributed algorithms, computer networks, cloud computing, and critical infrastructure protection. He created and is in the steering committe of the international Workshop on Recent Advances in Intrusion-Tolerant systems, that will have its 6th edition in 2012. More information about me is available at http://homepages.gsd.inesc-id.pt/~mpc/

 

shorter bio:

Miguel Correia is an Associate Professor at Instituto Superior Técnico of the Universidade de Lisboa. He is a researcher at INESC-ID, in the Distributed Systems Group. He has been involved in several international and national research projects related to intrusion tolerance and security, including the PCAS, TCLOUDS, MAFTIA and CRUTIAL EC-IST projects, and the ReSIST NoE. He has more than 100 publications. His main research interests are: security, intrusion tolerance, distributed systems, distributed algorithms, computer networks, cloud computing, and critical infrastructure protection. More information about him is available at http://homepages.gsd.inesc-id.pt/~mpc/

 

nota biográfica

Miguel Correia é Professor Associado do Instituto Superior Técnico da Universidade de Lisboa, onde é actualmente o Coordenador do Mestrado em Engenharia Informática e de Computadores. É também investigador do Grupo de Sistemas Distribuídos do INESC-ID e membro do seu Conselho Científico. Até ao início de 2011 foi professor na Faculdade de Ciências da Universidade de Lisboa (FCUL), investigador do LaSIGE no grupo Navigators e Adjunct Faculty da Carnegie Mellon University. É doutorado em Informática pela FCUL. Em 2010 esteve 6 meses de licença sabática na Yahoo! Research. Tem estado envolvido em vários projectos de investigação internacionais e nacionais relacionados com segurança e tolerância a intrusões, entre os quais se destacam os projectos europeus PCAS, TCLOUDS, CRUTIAL, ReSIST e CRUTIAL. Tem mais de 100 publicações em revistas, conferências e workshops, e dois livros. 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 nuvem e protecção de infraestruturas críticas.

 

nota biográfica

Miguel Correia é Professor Associado 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 e PCAS. Tem mais de 100 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: 29-07-2013