|
|
|
Paulo Jorge Esteves Veríssimo Professor |
Breve Curriculum Vitae
Paulo Jorge
Esteves Veríssimo é doutorado e agregado em Eng. Electrotécnica e de
Computadores, pelo IST. Esteve no Instituto Superior Técnico de 1979 a 1995, e
esteve no INESC desde a sua fundação em 1980, onde liderou o Grupo Navigators
até à sua saída em 1996. É correntemente professor no Departamento de
Informática da Faculdade de Ciências da Universidade de Lisboa (http://www.di.fc.ul.pt/~pjv). Aí, é
responsável por disciplinas nos vários domínios dos sistemas distribuídos.
Reestruturou e foi Responsável (1995--2004) pelos Recursos de Informática do DI
(http://admin.di.fc.ul.pt), com cerca de 1000 utilizadores. Foi Presidente do
DI (biénio 1999-2001). Foi Director fundador do Laboratório de Sistemas
Informáticos de Grande-Escala, LASIGE (http://lasige.di.fc.ul.pt),
integrado no DI (biénio 1999-2001), e foi de novo Director (2006-10).
É Fellow do IEEE e Fellow da ACM. É editor associado do Int’l Journal on Critical
Infrastructure Protection (IJCIP) da Elsevier (2008---). 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. Foi editor associado das IEEE Transactions on
Dependable and Secure Computing (2004-08), e da revista Telecommunications
Systems Journal (Baltzer), e é desde há vários anos consultor da Comissão
Europeia para as Tecnologias da Informação. Pertenceu ao Conselho Executivo da
``CaberNet European Network of Excellence'' e presidiu à respectiva Comissão de
Serviços de Informação. Foi Coordenador do projecto Europeu IST/FET CORTEX (http://cortex.di.fc.ul.pt).
É ou foi
membro de comissões de avaliação para várias instituições reputadas, entre as
quais: France Telecom Research (FR), LAAS (FR), INRIA (FR), European Research
Council (EU), Esprit and IST Programmes (EU), Université de Rennes (FR), CINECA
(IT), IBM Scientific Prize (PT), IEEE Computer Society Fellows Evaluation
Committee (US). É frequentemente solicitado como avaliador para contratações e
promoções nas universidades de topo dos USA. Foi co-presidente da comissão
internacional de programa da conferência IEEE/IFIP DSN 2001 (ex-FTCS/DCCA), General Chair da edição de 2009 dessa conferência,
e esteve em variadas comissões de programa internacionais de outras (IEEE,
AFCET, IFIP, ACM). É membro do ACM, da Ordem dos Engenheiros, e do IFIP “Work.
Group 10.4 on Dependable Comp. and Fault-Tolerance”.
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, embebidos e permeantes
(pervasive), nas facetas de
adaptabilidade em tempo-real e segurança e tolerância a faltas/intrusões. O seu
grupo tem aplicado estes domínios em: suporte para controlo industrial
distribuído, sistemas embebidos e inteligência ambiental; infraestruturas de
informação críticas e aplicações abertas e grande-escala; ambientes móveis
autónomos e inter-pares (peer-to-peer).
É autor ou co-autor de mais de 160 publicações em conferências ou revistas
internacionais com revisão. É co-autor de cinco livros internacionais nestas
áreas (ex. http://www.navigators.di.fc.ul.pt/dssa/),
e proferiu diversos keynote speeches, tutoriais
e seminários em conferências, universidades e institutos europeus e americanos,
em tolerância a faltas e intrusões, tempo-real e segurança em sistemas
distribuídos. Organizou e leccionou no Curso Internacional em Sistemas
Distribuídos LISBOA'92. Organizou e foi
director do European Research Seminar on Advances on Distributed Systems,
ERSADS’99. Organizou
a participação da FCUL na parceira internacional Carnegie Mellon | Portugal.
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.
Tem estado
envolvido em diversos projectos nacionais e europeus (FCT, ESPRIT/IST). Participou
na concepção de diversos protótipos industriais. Tem colaborado regularmente
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 Jorge Esteves Veríssimo has a PhD (1990) and “Agregação” (1994) in
Electrotechnical and Computer Enginering from the Technical University of
Lisboa IST. He has been with the IST from 1979 to 1995, and was
with INESC since its foundation, in 1980, where he leaded the Navigators Group
until he left in 1996. He is currently a
Professor of the Department of Informatics (DI),
He is Fellow of the IEEE and Fellow of the ACM. He is associate editor of the Elsevier Int’l Journal
on Critical Infrastructure Protection (IJCIP - 2008---). He is past Chair of
the IEEE Technical Committee on Fault-Tolerant Computing (2003-04) and of the Steering Committee of
the DSN conference. He belonged to the European Security & Dependability
Advisory Board. He has been an associate editor for the IEEE Tacs. on
Dependable and Secure Computing (TDSC - 2004-08), and the Baltzer Telecommunications
Systems Journal, and has been for several years now consultant to the European
Commission in Information Technologies. 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 or was member of evaluation panels for a number of reputed
institutions, amongst which: France Telecom Research (FR), LAAS (FR), INRIA
(FR), European Research Council (EU), Esprit and IST Programmes (EU),
Université de Rennes (FR), CINECA (IT), IBM Scientific Prize (PT), IEEE
Computer Society Fellows Evaluation Committee (US). He is often solicited to
referee for hiring and promotions in the top US universities. He served as
international program co-chair of the IEEE/IFIP Dependable Systems and Networks
DSN-01 conference, and has served on the programme committees of several other
conferences (IEEE, AFCET, IFIP, ACM). He is a member of the ACM, Ordem dos Engenheiros, and of the IFIP Working Group 10.4 on Dependable Computing and
Fault-Tolerance.
Paulo Veríssimo leads the
Navigators research group (http://www.navigators.di.fc.ul.pt/) of LASIGE, and is currently interested in: architecture, middleware and protocols for
distributed, pervasive and embedded systems, namely the facets of real-time
adaptability and fault/intrusion tolerance. His group also pursues the
applications of the aforementioned domains to: support for distributed computer
control, embedded systems and ambient intelligence; critical information
infrastructures and open and lar-scale information systems and applications; mobile
autonomous and peer-to-peer environments.
He is author or co-author of more than 160 refereed publications in
international scientific conferences and journals. He is co-author of 5
international books and has given several keynote
speeches, tutorials and seminars in conferences, universities and
institutions in Europe and
He organised and lectured in the LISBOA'92 Advanced Course on
Distributed Systems, and organised and was director of the European Research
Seminar on Advances in Distributed Systems, ERSADS'99. PJV organized the FCUL
participation in the Carnegie Mellon |
He is/was project team leader in several National and EU projects (FCT,
ESPRIT/IST): CRUTIAL, HIDENETS, MAFTIA,
RESIST, SecureIST, ESFORS, CaberNet, CORTEX, TACID, DARIO, ARTIST, AJECT,
RITAS, DEFEATS, COPE, Delta-4, Dinas, GODC, BROADCAST, MICRA, DEAR-COTS,
Bank-92, Elena. He took part in the design of
several industrial prototypes of fault-tolerant, secure and real-time systems.
Veríssimo has regular collaboration with national companies and institutions,
in problems related with dependability and security. Other activities closely related with security: participation in the
MAFTIA project; collaboration with the investigation police on technical
matters; security auditing and testing of the Portuguese Government Network;
high-level courses on security and dependability. He is frequently featured on media to comment on situations related with
informatics security and crime.
