Research Team
Teresa Almeida
Associate Professor at Umeå University and member of ITI/LARSyS.
Main research areas:
Digital Health and Wellbeing, Feminist Data Practices, Design Research and Critical Computing.
Luís Caires
Full professor at IST and member of INESC-ID.
Main research areas:
Programming Systems, Trustworthy Computing, Software Security.
Augusto Esteves
Assistant Professor at IST and member of ITI/LARSyS.
Main research areas:
HCI, Embodied Interaction, Spatial Computing.
Nuno Jardim Nunes
Full professor at IST and member of ITI/LARSyS.
Main research areas:
Human-Computer Interaction, Interaction Design, Sustainable HCI.
Nuno Lopes
Associate Professor at IST and member of INESC-ID.
Main research areas:
Software Verification Compilers.
Hugo Macedo
Invited Assistant Professor at IST and member of INESC-ID.
Main research areas:
Verified Computation, Zero-Knowledge Proofs, Decentralized Autonomous Organizations, Formal Methods.
Miguel Matos
Assistant Professor at IST and member of INESC-ID.
Main research areas:
Blockchain, Persistent Memory, System Performance and Reliability.
Hugo Nicolau
Assistant Professor at IST and member of ITI/LARSyS.
Main research areas:
Human-Computer Interaction, Accessibility, Social Inclusion.
Valentina Nisi
Associate Professor with Tenure at IST and member of ITI/LARSyS.
Main research areas:
Human Computer Interaction, Interactive storytelling and post human concerns, speculative design.
Miguel Pardal
Assistant Professor at IST and member of INESC-ID.
Main research areas:
Cybersecurity, Internet of Things, Cloud Computing, Blockchain, Distributed Systems.
Mariana Pestana
Assistant Professor at IST and member of ITI-LARSyS.
Main research areas:
Architecture, Fiction, Participation.
Miguel Pupo Correia
Full Professor at IST and member of INESC-ID.
Main research areas:
Blockchain and Byzantine Consensus, Cloud Security and Dependability, Software Security.
David Rogério de Matos
Assistant Professor at IST and member of INESC-ID.
Main research areas:
Distributed systems, security, intrusion recovery.
Paolo Romano
Full Professor at IST and member of INESC-ID.
Main research areas:
Parallel and distributed systems, Dependability, Machine learning.
Rodrigo Rodrigues
Full professor at IST and member of INESC-ID.
Main research areas:
Distributed Systems, Cloud Computing, Consensus and Blockchains.
Christof Torres
Invited Assistant Professor at IST and member of INESC-ID.
Main research areas:
Program Analysis; Software Testing; Blockchain Security; Web Privacy.
Luís Veiga
Associate Professor at IST and member of INESC-ID.
Main research areas:
Cloud Computing; Virtualization; Big-data Processing.
Support Team
André Breda
Laboratory Technician
João Fumega
Senior Project Manager
Susana Nóbrega
Project Manager
Pedro Silva
Project Manager