|
|
|
Paulo Jorge Esteves Veríssimo Professor |
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.
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.
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.
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.
