What happens when you let reality inspire your research?
Prof. Paulo Veríssimo,
University of Lisbon, Portugal
–
Abstract:
It is not often that one finds concrete problems capable of inspiring really advanced research. Computing and communications, having become commodities which societies largely depend on, created such an opportunity in what concerns their security and dependability. Yet, since problems appear so real, one can always follow the temptation of identifying the immediate problems and look for immediate solutions.
This talk is about daring to ask questions about daring subjects in distributed systems, fault tolerance and security, and on how this impacted the research of a group over the past few years.
The talk will start by giving a notion of the security and dependability risks impending on modern societies and their ICT systems, in crucial areas as telco and cloud, power grid and cyber-physical systems in general, or health and genomics data. Then it presents the results of several research projects which have asked some of those daring questions, e.g. about why not: letting your attackers live amongst you; self-healing computers to make them work forever; recovering information despite having lost most of it; putting sensitive information in clouds without trusting the providers; or publishing genomics information whilst preserving privacy. The last part of the talk will discuss how proposing to tackle problems of real substance and impact, ended-up inspiring new theoretical models and predicates for distributed systems, impossibility results and algorithmic lower bounds. What more can you ask?
In conclusion:
Solving real problems does not necessarily prevent you from doing really advanced research, if instead of merely «seeing things and saying ‘Why?’», you ask the right questions and are capable of «dreaming things that never were, and say, “Why not?”»
Quoting George Bernard Shaw, “Back to Methuselah” (1921)
Bio
Paulo Veríssimo is a Professor of the Department of Computer Science and Engineering, U. of Lisbon Faculty of Sciences (FCUL-http://www.di.fc.ul.pt/~pjv), adjunct Professor of the ECE Dept., Carnegie Mellon University, member elect of the Board of the U. of Lisbon and of the Scientific Council of the FCUL, and Director of LaSIGE (http://lasige.di.fc.ul.pt). 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. PJV is Fellow of the IEEE and of the ACM. He is associate editor of the Elsevier Int’l Journal on Critical Infrastructure Protection. Veríssimo leads the Navigators group of LaSIGE, and is currently interested in distributed architectures, middleware and algorithms for: adaptability and safety of real-time networked embedded systems; and resilience of secure and dependable large-scale systems. He is author of over 170 peer-refereed publications and co-author of 5 books.
Host
Luís Eduardo Teixeira Rodrigues
Venue:
QA1.3
Upcoming Events
INESC Brussels HUB Winter Meeting | JAN 25-26, 2024, in Porto

The INESC Winter Meeting, organized in collaboration with INESC Holding, is scheduled for January 25th and 26th, 2024, and it will be held in the city of Porto.
On January 25th, the primary goal is to bring together individuals from all five INESC institutes, fostering an environment that encourages networking, forging new connections, and collectively engaging in a forward-thinking exercise regarding the future of our research fields and the positioning of the INESC group within the European landscape.
There will be a welcome lunch, followed by an afternoon dedicated to collaboration, openness, and curiosity. The event will have a participatory approach, and will be guided by Dirk Stockmans, a highly experienced facilitator who has worked for the European Commission for the last 30 years.
Furthermore, all INESC researchers are invited to submit proposals for e-posters to be displayed at the Winter Meeting. Deadline for submissions is December 10 and more information is available here.
On January 26th, a senior administration and management committee will be held. Participants will be selected by each institute administration by invitation only.
If you would to take part on the 25th of January, please register here by November 30th.
The INESC Brussels HUB website will soon share more information about the venue and uptaded agenda.
Preliminary agenda