Paulo Jorge Esteves Veríssimo

Professor
Universidade de Lisboa, Faculdade de Ciências
(University of Lisboa, Faculty of Sciences)


Breve Curriculum Vitae

Paulo Esteves Veríssimo (PJV) é doutorado e agregado em Eng. Electrotécnica e de Computadores, pelo IST. É professor no Departamento de Informática da Faculdade de Ciências da Universidade de Lisboa (http://www.di.fc.ul.pt/~pjv), e adjunct Professor do ECE Department da Universidade de Carnegie Mellon. PJV é membro eleito do Conselho Geral da Universidade de Lisboa (2011---) e do Conselho Científico da Faculdade de Ciências da U. de Lisboa (2009---), e Director do Laboratório de Sistemas Informáticos de Grande-Escala, LaSIGE (http://lasige.di.fc.ul.pt) (2012---). É correntemente Presidente do IFIP WG 10.4 on Dependable Computing and Fault-Tolerance and vice-Presidente do Steering Committee da conferência conferência IEEE/IFIP DSN (2013---).

É Fellow do IEEE e Fellow da ACM. Esteve na final do Descartes European Science Prize 2004, liderando uma equipa da FCUL com o trabalho no projecto MAFTIA. Como investigador sénior, esteve envolvido na conquista de dois Prémios Científicos IBM (2004 e 2007) por investigadores da sua equipa. Foi Presidente do IEEE Technical Committee on Fault Tolerant Computing (2003-04) e do Steering Committee da conferência DSN. Pertenceu ao European Security & Dependability Advisory Board e é desde há vários anos consultor da Comissão Europeia para as Ciências e Tecnologias da Informação. Pertenceu ao Conselho Executivo da ``CaberNet European Network of Excellence''. Foi Coordenador do projecto Europeu IST/FET CORTEX (http://cortex.di.fc.ul.pt). É membro do IEEE, ACM, da Ordem dos Engenheiros.

É editor associado do Int’l Journal on Critical Infrastructure Protection (IJCIP) da Elsevier (2008---) e foi editor associado das IEEE Transactions on Dependable and Secure Computing (2004-08). Foi co-presidente da comissão internacional de programa da conferência IEEE/IFIP DSN-2001, General Chair da DSN-2009, e esteve nas comissões de programa internacionais de muitas outras conferências.  É ou foi membro de comissões de avaliação para várias instituições reputadas, entre as quais: IEEE Computer Society Fellows Evaluation Committee (INT), European Research Council (EU). É frequentemente solicitado como avaliador para prémios, contratações, promoções e graus em universidades de topo dos USA e Europa.

Paulo Veríssimo lidera o grupo de investigação Navigators integrado no LaSIGE (http://www.navigators.di.fc.ul.pt/), e interessa-se correntemente por arquitectura, algoritmos e subsistemas de suporte (middleware) para sistemas distribuídos em duas facetas principais: adaptabilidade e segurança operacional (safety) de sistemas tempo-real embebidos em rede; resiliência de sistemas de grande-escala seguros e confiáveis. É autor ou co-autor de mais de 170 publicações em conferências ou revistas internacionais com revisão. Veríssimo tem correntemente mais de 3300 citações às suas publicações e um Índice-H de 31 (ambos com auto-citações excluídas), e o seu trabalho é contemplado em livros de autores conhecidos, como K. Birman, R. Chow, G. Coulouris, H. Kopetz, P. Jalote, and A. Tanenbaum. O seu ERDÖS Number é 3. PJV é igualmente co-autor de cinco livros internacionais e proferiu mais de 150 conferências em diversas partes do mundo, das quais mais de 25 foram keynote speeches em locais de prestígio. Perfil Google Scholar Citations: http://scholar.google.com/citations?user=aMHx8aUAAAAJ

Veríssimo tem igualmente colaborado de forma regular com instituições e empresas nacionais, e é frequentemente solicitado pelos média, acerca de problemas de segurança e criminalidade informáticas.

http://www.di.fc.ul.pt/~pjv/images/pagprinc.gif  


Short Curriculum Vitae

Paulo Veríssimo (PJV) has a PhD (1990) in Electrical and Computer Engineering from the Technical University of Lisbon IST. He is a Professor of the Department of Computer Science and Engineering (DI), University of Lisbon Faculty of Sciences (http://www.di.fc.ul.pt/~pjv), and an adjunct Professor of the ECE Department of Carnegie Mellon University. PJV is member elect (2011---) of the Board of the University of Lisbon and of the Scientific Council of the Faculty of Sciences of the U. of Lisbon (2009---). He is Director of the Large-Scale Informatics Systems Laboratory, LaSIGE (http://lasige.di.fc.ul.pt) (2012---). He is currently Chair of the IFIP WG 10.4 on Dependable Computing and Fault-Tolerance and vice-Chair of the Steering Committee of the IEEE/IFIP DSN conference (2013---).

He is Fellow of the IEEE and Fellow of the ACM. He was in the finals of the Descartes European Science Prize 2004, leading a FCUL team integrated in the MAFTIA project, and has been senior researcher to two winners of the IBM Portugal Scientific Award (2004 and 2007). He is past Chair of the IEEE Technical Committee on Fault-Tolerant Computing (2003-04) and of the Steering Committee of DSN. He belonged to the European Security & Dependability Advisory Board and has been for several years now consultant to the European Commission in Information Science and Technology. He belonged to the Executive Board of the CaberNet European Network of Excellence. He coordinated the CORTEX IST/FET project (http://cortex.di.fc.ul.pt). He is a member of IEEE, ACM, Ordem dos Engenheiros.

He is associate editor of the Elsevier Int’l Journal on Critical Infrastructure Protection (IJCIP - 2008---), and was an associate editor for the IEEE Tacs. on Dependable and Secure Computing (2004-08). He served as international program co-chair of the IEEE/IFIP Dependable Systems and Networks DSN-2001 conference, General Chair of DSN-2009, and has also served on the programme committees of many other conferences. He is or was member of evaluation panels for a number of reputed institutions, amongst which: IEEE Computer Society Fellows Evaluation Committee (INT), European Research Council (EU). He is often solicited as evaluator for awards, hiring, promotions and degrees in top US and European universities.

Paulo Veríssimo (PJV) leads the Navigators research group (http://www.navigators.di.fc.ul.pt/) of LaSIGE, and is currently interested in distributed architectures, middleware and algorithms in two main facets: adaptability and safety of real-time networked embedded systems; and resilience of secure and dependable large-scale systems. He is author or co-author of more than 170 peer-refereed publications in international scientific conferences and journals. Verissimo has currently more than 3300 citations to his publications, and an H-Index of 32 (both exclusive of self-citations), and his work is featured in known authors’ books, such as, Birman, Chow, Coulouris, Kopetz, Jalote, and Tanenbaum. His ERDÖS Number is 3. PJV is also co-author of 5 international books and has given over 150 talks in several parts of the world, more than 25 of which were keynote speeches at reputed venues. Google Scholar Citations profile: http://scholar.google.com/citations?user=aMHx8aUAAAAJ

Verissimo has regular collaboration with national companies and institutions, in problems related to dependability and security. He is frequently featured on national media to comment on situations related with computer security and crime.

 

http://www.di.fc.ul.pt/~pjv/images/mainpage.gif