Rodrigo Miragaia Rodrigues is a full professor at the Instituto Superior Técnico (ULisboa) and a researcher at INESC-ID since 2015. He previously held roles as an associate professor at Universidade Nova de Lisboa, tenure-track faculty at MPI-SWS, and completed his PhD at MIT in 2005 under Barbara Liskov. Education: PhD in Computer Science, MIT, 2005 Research Interests: Focuses on distributed systems, fault-tolerant computing, cloud infrastructure, and consistency models. His work bridges theoretical foundations and practical implementations, addressing challenges in geo-replication, secure analytics, and resource allocation in serverless environments. He emphasizes scalable systems and resilient data management. Awards: Best Paper Award at SOSP ERC Starting Grant Google Faculty Research Award Advising & Grants: Has advised 7 PhD students as main advisor, with graduates in top institutions like Purdue, TU Munich, and USTC. Secured funding from the European Research Council (ERC) and Google, focusing on projects like DependableCloud (ERC Grant 307732). Labs & Teams: Leads research at INESC-ID and previously directed the Dependable Systems Group at MPI-SWS. Active in academic leadership roles, including President of the Scientific Council at IST.
Nuno Santos is an Associate Professor in the Department of Computer Science and Engineering at Instituto Superior Técnico (IST), University of Lisbon, and a senior researcher at INESC-ID Lisbon, where he leads the SysSec team within the Distributed, Parallel and Secure Systems (DPSS) group. He is an active member of the international security community, serving as Program Vice Co-Chair for USENIX Security 2025 and on program committees for top venues such as IEEE S&P, CCS, and USENIX Security. Education: Ph.D. in Computer Science, 2013 – Max Planck Institute for Software Systems (MPI-SWS) & Saarland University Research internships at Microsoft Research Redmond (2010), Vrije Universiteit Amsterdam (2018), and Technical University of Munich (2024) Research Interests Nuno Santos’s research centers on the security and privacy of computer and networked systems, with particular emphasis on trusted execution environments, secure systems design, and the intersection of machine learning with security. His group investigates vulnerabilities and defenses in widely deployed platforms, including TrustZone, JavaScript runtimes, and cloud infrastructures. Additional themes include censorship-resistant communication, privacy-preserving analytics, and automated exploit generation. Recent Publication Trends Over the past five years, his work has increasingly targeted emerging threat models in confidential computing (AMD SEV-SNP, Intel TDX), large-language-model integration into web applications, and automated security analysis of JavaScript ecosystems. These publications consistently appear in the most selective venues (PLDI, SIGMETRICS, ICSE, NDSS, S&P, USENIX Security), evidencing strong empirical evaluation and real-world impact. Awards & Honors IST Outstanding Teaching Award (2019/2020) ISOC.PT Best Portuguese Internet Research Award (2024) Prémio Científico Universidade de Lisboa / Caixa Geral de Depósitos (2024) Multiple IST Teaching Excellence Awards Advising & Service Nuno Santos has supervised numerous MSc and PhD students whose theses span secure systems, network privacy, and trustworthy computing. Recent defenses include Bernardo Ribeiro, Cristi Savin, Hugo Mantinhas, João Aragonez, João Sá, and Tomás Tavares. He actively participates in doctoral committees and mentors junior researchers within the DPSS group. Labs, Teams & Collaborations He leads the SysSec team inside the Distributed, Parallel and Secure Systems (DPSS) group at INESC-ID Lisbon. The team maintains strong collaborative ties with MPI-SWS, VUSec at VU Amsterdam, the Systems Research Group at TU Munich, and multiple industry partners including Microsoft Research.
Luis REYES-ORTIZ is a Professor at Kedge Business School specializing in macroeconomic modeling and policy analysis. Currently on sabbatical from July 2025 to July 2026, he develops empirical Stock-Flow Consistent (SFC) models for France, Vietnam, Algeria, and China. His research centers on international monetary systems , financialization , globalization dynamics , and energy transition economics . Using SFC frameworks, he investigates Eurozone imbalances, monetary policy effectiveness, and climate finance mechanisms. Recent work analyzes France's climate investment programs and inflation dynamics through empirical modeling. His publications reveal strong focus on applied policy modeling (78% of recent articles), with significant contributions to climate economics (27%) and monetary system analysis (21%). The SFC-FR model for France serves as his primary analytical tool across multiple policy domains. Teaching encompasses micro/macro-economics, international finance, econometrics, and social entrepreneurship finance in English, French, and Spanish. His methodological expertise bridges theoretical post-Keynesian frameworks with empirical econometric validation.
Diogo Poças serves as Assistant Professor in the Department of Mathematics at Instituto Superior Técnico (University of Lisbon) and Researcher at Instituto de Telecomunicações since 2024. Previously, he held faculty positions at the University of Lisbon's Faculty of Sciences (2020-2024) and conducted postdoctoral research at TU München (2018-2020), demonstrating continuous academic engagement within Portugal's leading technical institution. His academic foundation includes: PhD in Mathematics from McMaster University (2014-2017) supervised by Prof. Jeffery Zucker MSc in Mathematics and Applications from Instituto Superior Técnico (2011-2013) supervised by Prof. José Félix Costa BSc in Applied Mathematics and Computation from Instituto Superior Técnico (2008-2011) Dr. Poças' research program integrates theoretical computer science with practical applications across three interconnected domains: Session Types (developing algorithms for type equivalence and communication safety in concurrent systems), Algorithmic Game Theory (analyzing equilibrium computation complexity in congestion games and auctions), and Analog Computation (modeling continuous-data computation through frameworks like the General Purpose Analog Computer). His work consistently bridges formal methods with real-world computational challenges. His publication record reveals a cohesive research trajectory where session type theory advances directly inform game-theoretic mechanism design. Recent papers demonstrate growing sophistication in handling higher-order polymorphic types while simultaneously addressing fundamental questions in auction revenue maximization and congestion game equilibria, indicating a unique interdisciplinary approach to computational theory. No scientific awards or fellowships are documented in available sources. Dr. Poças has mentored students through teaching assistant roles (2013-2015) and supervised his own MSc thesis on stochastic oracle complexity. Current research funding derives from his affiliations with LASIGE (2020-2024) and Instituto de Telecomunicações, though specific grant mechanisms remain unspecified. He contributes to Portugal's computational research ecosystem through Instituto de Telecomuncações, building on prior work with LASIGE where he developed theoretical frameworks now reflected in his recent publications on session types and game equilibria.
António Casimiro is an Associate Professor at the Department of Informatics of the Faculty of Sciences, University of Lisbon. He holds a PhD in Computer Science (2003) from the same institution. His research focuses on dependable adaptive systems, middleware for distributed real-time applications, and cyber-physical systems. He leads the Cyber-Physical Systems research line at the LASIGE research unit and coordinates EU projects like ADMORPH and VEDLIoT, as well as the national AQUAMON project for water monitoring. Education: PhD in Computer Science, University of Lisbon (2003) Research Interests: Middleware for embedded real-time systems Fault-tolerant distributed systems IoT and environmental monitoring Cybersecurity in autonomous systems Key Projects: KARYON (FP7): Safe cooperative automotive/avionics systems VEDLIoT (H2020): Accelerated AIoT systems AQUAMON: Wireless sensor networks for water monitoring Awards: None explicitly listed, but active in editorial roles like Editor-in-Chief of the Ada User Journal. Teaching & Leadership: Coordinates the Master in Information Security program Former Vice-Director of LASIGE and member of Faculty Scientific Council Labs/Teams: LASIGE research unit, Navigators group, involvement in GULLIVER testbed for vehicular systems.
Miguel Matos is an Assistant Professor at Instituto Superior Técnico (IST) of Universidade de Lisboa and a Researcher at INESC-ID's Distributed Systems Group. His research focuses on Persistent Memory systems, blockchain scalability, distributed systems evaluation, and database performance. He has led major projects such as Angainor (reproducible evaluation tools) and ACT-PM (crash-consistency testing). Research interests include exploring persistent memory's challenges, blockchain Layer-2 limitations, automated bug detection (HawkSet, Mumak), and decentralized network emulation (Kollaps). He has received awards like the Gilles Muller Best Artefact Award at EuroSys 2025 and Best Paper Awards at DAIS 2017 and IPDPS 2012. He coordinates multi-million Euro grants including EU's Qualichain and national FCT projects. Teaching includes courses like 'Highly Dependable Systems' and 'Large-Scale Systems Engineering' at IST. His work bridges academia and industry, collaborating with startups like MIMA Housing and LeanXcale.
Miguel Pupo Correia is a Full Professor in the Department of Computer Science and Engineering at Instituto Superior Técnico, University of Lisbon. He serves as President of the Executive Committee of INESC-ID and is a researcher in the Distributed, Parallel and Secure Systems (DPSS) group. He represents Portugal in the European Blockchain Partnership (EBP) and holds roles in Associação .PT. He holds a PhD in Computer Science from the University of Lisbon Faculty of Sciences. His research focuses on cybersecurity, dependability in distributed systems, and their applications in blockchain, cloud, and mobile environments. Key projects include TRUSTyFOOD, BIG, and MAFTIA, among others. He is an Associate Editor for IEEE Transactions on Computers and a Senior Member of IEEE. His work spans blockchain interoperability, secure cloud storage, intrusion detection, and fault-tolerant algorithms. Notable contributions include BlockSim (a blockchain simulator) and SRX (SGX data recovery). He has over 200 publications and leads initiatives like BLOCKCHAIN.PT to advance Portugal’s blockchain adoption.
Pedro Almeida is an Assistant Professor with Agregação at the University of Madeira, where he leads the High Pressure Plasmas Group at Instituto de Plasmas e Fusão Nuclear (IPFN). He also serves as Vice-President of the Faculty of Exact Sciences and Engineering and as a member of the IPFN Administration Board. His academic career spans roles from Scientific Initiation Fellow (2000) to Assistant Professor with Agregação (2023). BSc in Physics (2001, University of Madeira) MSc-equivalent: Provas de Aptidão Pedagógica e Capacidade Científica (2006, University of Madeira) PhD in Physics (2011, University of Madeira) Agregação (2023, University of Madeira) Almeida’s research focuses on plasma discharges , particularly corona/streamer discharges , self-organized cathode spots , and breakdown phenomena in gases and vacuum. His work combines theoretical modeling with computational tools like COMSOL Multiphysics to study discharge stability and applications in energy systems. His 15 most recent publications (2025-2017) emphasize numerical simulations of low-current discharges , self-organization , and electric field dynamics . Key themes include corona stability , cathode spot prevention , and validation of theoretical criteria for discharge ignition. He has participated in research projects funded by FCT , Siemens Corporate Research , and European Union programs like COST and ERDF. Notably, he led the PlasMa project (2019-2021) as Principal Researcher and contributed to industrial modeling for high-voltage systems.
Carlos Manuel Ribeiro Almeida is an Assistant Professor at the Department of Electrical and Computer Engineering, Instituto Superior Técnico, Universidade de Lisboa. He has been affiliated with the GEMS (Group of Embedded networked Systems and Heterogeneous Networks) research group since 2009 and the Instituto de Telecomunicações (IT) since 2013. His academic journey includes a BSc (1984), MSc (1989), and PhD (1998) in Electrical and Computer Engineering from IST. He has held visiting positions at Cornell University (1991–1993) and Chorus Systems (1990–1991). Research Interests : Real-Time and Embedded Systems, QoS Adaptability, Fault-Tolerance, Sensor Networks, and Networked Embedded Systems. His work focuses on dynamic environments where systems must adapt to maintain timeliness and dependability. Teaching includes courses on Systems Programming, Real-Time and Embedded Systems, and Networked Embedded Systems. His publications span over 30 years, emphasizing real-time scheduling, fault-tolerant protocols, and embedded system optimization. Notable projects include CANELy (a dependable communication protocol) and VITRAL (a real-time kernel interface). Labs/Teams : GEMS (Taguspark campus) and the Networks and Multimedia group at IT. His work integrates hardware-software co-design for resource-constrained systems.
Paolo Romano is an Associate Professor at the Department of Computer Engineering, Instituto Superior Técnico (IST), Universidade Técnica de Lisboa. He is also a Senior Researcher at the Distributed Systems Group (INESC-ID). His research focuses on distributed systems, AI/ML systems, transactional memory, autonomic computing, and high-performance computing. He holds a PhD in Computer Engineering from Sapienza University of Rome (2007) and a Master's Degree (Summa Cum Laude) from the University of Rome Tor Vergata (2002). PhD Thesis: 'Protocols for End-to-End Reliability in Multi-Tier Systems' Supervised over 10 PhD and MSc students Research Interests : Dependable Distributed Systems Transactional Memory (Hardware/Software) Autonomic and Self-Optimizing Systems Performance Modelling & Evaluation Key achievements include leading the Cloud-TM EU-funded project (€1.7M), coordinating the Euro-TM COST Action, and winning multiple best-paper awards at ICAC, NETYS, and NCA conferences. He actively participates in technical committees for conferences like EuroPar, ICDCS, and Middleware. Grants & Projects : Coordinator of 'Euro-TM' (€400K) Coordinator of 'Cloud-TM' (€1.7M EC funding) Principal Investigator in national projects like 'specSTM' (€127K) He advises students in areas such as self-tuning distributed systems, transactional data stores, and hardware-software co-design for concurrency control. His work bridges theory and practice, with contributions to frameworks like D2STM and Cloud-TM.
Paula Brito is an Associate Professor at the School of Economics of the University of Porto, where she teaches Statistics and Multivariate Data Analysis at undergraduate and post-graduate levels. She is a member of the Artificial Intelligence and Decision Support Lab (LIAAD) at INESC-TEC. She holds a PhD in Applied Mathematics from the University of Paris Dauphine (1991). Her research focuses on symbolic data analysis, including methodologies for multidimensional complex data (e.g., distributional data), clustering, and statistical modeling. She has contributed to applications in environmental monitoring, social networks, labor markets, and anomaly detection. Key projects include developing parametric models for distributional data, symbolic principal component analysis for air quality studies, and community detection in interval-weighted networks. Her work on Luxembourg’s labor market highlights immigrant group dynamics using symbolic data techniques. She has supervised multiple theses on topics such as anomaly detection in financial markets, symbolic pattern mining in networks, and multiclass classification of distributional data. Paula is affiliated with LIAAD, fostering interdisciplinary research in artificial intelligence and decision support systems.
Luis Caires is a Full Professor of Science and Methodology of Programming at the Department of Computer Science and Engineering, Técnico Lisboa (University of Lisbon). He is also a Core Researcher at INESC-ID and an ERA Chair Holder under the H2020 BIG initiative. Previously, he served as Full Professor at NOVA FCT’s Department of Computer Science and founded the NOVA Laboratory for Computer Science and Informatics. His research focuses on the theoretical foundations and practical applications of programming languages, emphasizing the development of trustworthy concurrent, distributed, and decentralized systems. Key themes include type systems for resource management in concurrent environments, formal logics (types, process algebra), and tools for compiler design and abstract machines. He also explores interdisciplinary areas like computational theories of mind and quantum programming models. Caires has extensive teaching experience, lecturing 23 courses across BSc, MSc, and PhD levels, including foundational programming courses and advanced topics in formal languages, verification logics, and software security. He coordinated 87 course editions between 1992 and 2023. Professional service includes PC roles at major conferences (ECOOP ’25, FoSSaCS ’25, LICS ’25/’26). His work bridges foundational research with system-building, addressing challenges in concurrency, security, and distributed computing.
Pedro Hugo De Queirós Alves is an Associate Professor in the Department of Computer Engineering at Universidade Lusófona de Humanidades e Tecnologias, Lisbon, Portugal. He is also a researcher at COPELABS, focusing on software engineering, programming education, and context-aware systems. He previously served as Director of the first-cycle Computer Engineering program. PhD in Computer Engineering and Computers, Instituto Superior Técnico, Universidade de Lisboa (2014) Licenciatura in Computer Engineering and Computers, Instituto Superior Técnico, Universidade de Lisboa (1999) Postgraduate: PAEGI - Advanced Program in Entrepreneurship and Innovation Management His research focuses on automated assessment tools for programming education , integration of large language models in software development , and smartphone-based structural health monitoring . He explores how AI can support, but not replace, student learning in programming, advocating for hybrid human-AI approaches. His work in human-computer interaction includes privacy-preserving social network tools and efficient context-aware messaging systems. His recent publications show a strong trend toward leveraging AI and LLMs in educational technology, particularly in detecting limitations of models like GPT-3.5 and GPT-4 in handling object-oriented programming tasks. He also investigates multimodal learning (diagrams, videos) to reduce student dependency on AI. Earlier work includes context-aware distributed systems and anonymous feedback mechanisms in social networks. Scientific Awards: No awards listed in the provided text. He has advised students in programming education and software development, though specific names are not listed. He developed the Drop Project , an automatic assessment tool for programming assignments. While no grants are explicitly mentioned, his sustained research output suggests active project involvement. His work bridges academia and practical software tools, with applications in education and infrastructure monitoring. He is affiliated with COPELABS, a research lab focused on cognitive and people-centric computing, where he contributes to projects integrating AI, education, and mobile technologies. His future work appears to center on the evolving role of AI in software engineering and education, particularly in fostering responsible and effective human-AI collaboration.
Isabel Cristina Maciel Natário is an Associate Professor in the Department of Mathematics at the Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa (FCT-UNL). She is an integrated member of the Centro de Matemática e Aplicações (CMA), specifically within the Statistics and Risk Management research group. Her academic and research profile is deeply rooted in statistical theory and applied data analysis, with strong interdisciplinary applications. Her educational background includes a Doctorate in Statistics and Operational Research (2005), a Master’s in Probability and Statistics (1999), and a Bachelor’s in Applied Mathematics and Computation (1995), all from Universidade de Lisboa. Doctorate: Hierarchical Bayesian Models for Epidemiological Analysis of Rare Events, Universidade de Lisboa (2005) Master’s: Spatial, Temporal and Spatio-Temporal Distribution of Rare Diseases, Universidade de Lisboa (1999) Bachelor’s: Avaliação de Erros em Inquéritos: Entrevista/Reentrevista, Instituto Superior Técnico (1995) Her research interests center on Spatio-Temporal Statistics, Bayesian Analysis, Hierarchical Modeling, Stochastic Processes, and Big Data. She applies these methodologies to diverse domains such as environmental risk, fisheries, epidemiology, and climate modeling. Her recent work demonstrates a strong focus on geostatistical inference, stochastic partial differential equations, and risk assessment in maritime and ecological contexts. Her 15 most recent publications reflect a consistent trajectory in advanced statistical modeling, particularly in spatial and spatio-temporal frameworks. The research spans theoretical developments in stochastic processes and Bayesian methods, as well as applied studies in health, marine biology, and environmental science. Key themes include maritime surveillance, species distribution modeling, wind velocity analysis, and clinical outcome prediction using statistical models. She has received no explicitly mentioned scientific awards in the provided text. Isabel Cristina Maciel Natário has supervised or collaborated with several researchers, including Sílvia Isabel Belo Guerra and Paula Cristina Pires Simões. While no formal list of advisees is provided, her collaborative publications and leadership in research groups suggest active mentoring. She has been involved in interdisciplinary research projects, particularly those involving environmental and health data. There is no mention of specific grants, but her sustained publication record and research group affiliation indicate active research funding. She is affiliated with the CMA – Centro de Matemática e Aplicações, a recognized research center at FCT-UNL, where she contributes to the Statistics and Risk Management group. This center supports collaborative, interdisciplinary research in mathematical modeling and statistical applications.
João Carlos Antunes Leitão is an Associate Professor in the Informatics Department at Faculdade de Ciências e Tecnologia of Universidade Nova de Lisboa , and an Integrated Member of NOVA Laboratory for Computer Science and Informatics (NOVA LINCS) . His research focuses on the scalability and dependability of large-scale distributed systems, particularly in cloud computing , peer-to-peer networks , and geo-distributed environments . He leads work packages in European research projects such as TaRDIS and contributes to projects like Syncfree and LightKone. Research interests include: Scalability of distributed systems Causal consistency in geo-replicated storage Self-organizing overlay networks Edge and fog computing Searchable encryption on trusted hardware Framework development for distributed protocols Publication trends show consistent work on distributed hash tables , causal consistency , edge computing , and secure protocols . His framework Babel is designed for performant and dependable distributed protocol development with applications in self-configuration and security. Scientific awards : Best student paper at IEEE NCA13 (2013) Best Paper Award at Inforum 2018 Best Student Paper at CPDLA Track, Inforum 2023 Best Paper Award at Inforum 2011 Advising and grants : João earned his Ph.D. from Instituto Superior Técnico (IST) under Prof. Luis Rodrigues . He has supervised students like Pedro Fouto, Pedro Ákos Costa, and Nuno Preguiça. His research is supported by European projects TaRDIS , Syncfree , and LightKone . Labs and teams : João works with the Computer Systems Group at NOVA LINCS and contributes to open-source frameworks like Babel and Yggdrasil for distributed protocol development and wireless edge systems.
