Find Academic Supervisors

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.

• Distributed Systems
• Cloud Computing
• Fault Tolerance
• +3 more

Francisco Almeida Maia is a Senior Researcher at HASLab (High Assurance Lab) affiliated with the University of Minho and INESC TEC. His research focuses on distributed systems, cloud computing, large-scale data management, and gossip-based protocols. He holds a Ph.D. in Computer Science from the MAP-i Doctoral Program (Universities of Minho, Aveiro, and Porto, 2015), advised by Professor Rui Oliveira. His doctoral work introduced DataFlasks, a scalable and resilient data store for large-scale systems using gossip protocols. Current research explores enhancing DataFlasks’ guarantees while maintaining scalability. Education: Ph.D. in Computer Science, MAP-i Doctoral Program (2015) Research Interests: Distributed systems security, privacy-aware cloud storage, scalable data architectures, and fault-tolerant protocols. Recent work emphasizes secure multi-cloud databases and distributed system testing frameworks. Publications: Focus on scalable systems, privacy in distributed environments, and testing methodologies. Notable contributions include d'Artagnan (secure NoSQL on untrusted clouds) and Minha (large-scale distributed testing). Advising & Grants: Supervised two theses at INESC TEC. Active in collaborative projects on distributed systems and security. Labs/Teams: Core member of HASLab, contributing to interdisciplinary research on high-assurance software and distributed computing.

• Distributed Systems
• Cloud Computing
• Large Scale Data Management
• +3 more

Paulo Sérgio Almeida is an Assistant Professor at the Department of Informatics, University of Minho, and a Senior Researcher at HASLab / INESC TEC since November 2011. He holds a PhD in Computer Science from Imperial College London (1998) and an MSc from University of Porto (1994). Research Interests Distributed Systems Causality Tracking Mechanisms Conflict-free Replicated Data Types (CRDTs) Eventually Consistent Databases Network Protocols Fault-tolerant Algorithms His recent publications focus on Byzantine fault tolerance, consistency models, and network protocols. Notable works include the Blocklace universal CRDT framework and the Exon protocol for oblivious exactly-once messaging. Advising: Ziad Ali Kassam – thesis on Exactly-once Exchanges (2021–2023) Ricardo Oliveira Vaz – thesis on Blockchain-based Payment Systems (2022) Labs/Teams: Associate researcher at HASLab / INESC TEC, contributing to distributed systems research.

• Distributed Systems
• Conflict-free Replicated Data Types (CRDTs)
• Fault-tolerant Systems
• +3 more

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.

• Distributed Systems
• AI/ML Systems
• Autonomic Computing
• +5 more

Luís Eduardo Teixeira Rodrigues is a Professor Catedrático at the Department of Computer Engineering , Instituto Superior Técnico (IST) , Universidade de Lisboa . He is also affiliated with INESC-ID's Distributed, Parallel and Secure Systems Group . With a career spanning over three decades, he has pioneered research in distributed systems, fault tolerance, edge computing, and microservices consistency. PhD from IST (1996) "Agregação" in Informatics (2003) Co-founder of LASIGE's Navigators group His research focuses on transactional causal consistency , Byzantine fault tolerance , and edge computing systems . He leads the GLOG project for distributed shared logs and the DACOMICO project for microservices consistency. His work bridges theoretical distributed algorithms with practical systems engineering. Recent publications emphasize geo-replicated transactional systems , proof-of-storage mechanisms , and automated microservices decomposition . Notable collaborations include projects with institutions in Italy, Japan, and Luxembourg. Scientific contributions include: Prémio Prof. Luís Vidigal (awarded to student Mário Rui Vazão) Co-author of foundational books on Reliable Distributed Programming and Distributed Systems for System Architects Mentorship highlights: Supervised over 40 PhD and MSc students in distributed systems, including: Diogo Barrinha - Unobservable Covert Streaming Xavier Vilaça - N-Party BAR Transfer João Queirós - Transactional Causal Consistency Current projects include the GLOG distributed shared log system and DACOMICO for microservices consistency. Active in international collaborations with institutions in the USA, Switzerland, and Brazil.

• Distributed Systems
• Edge Computing
• Secure Systems
• +4 more

Francisca Alves Cardoso is a Research Fellow at CRIA (NOVA FCSH) in Portugal, specializing in Biological Anthropology and Forensic Sciences. With a PhD from Durham University and a Master's from Coimbra University, her work focuses on paleopathological analysis, stable isotopes, and ethical considerations in bioarchaeology. Active in 3D modeling of human remains curation Recent projects include BeFRAIL on cholera-era human frailty Expert in age-at-death estimation and occupational stress markers Her research spans Portuguese populations from medieval to 20th century, examining child-mother dietary relationships, skeletal trauma patterns, and museum digitization. She leads the LABOH laboratory and organizes international webinars. Key awards include the 2023 30 Years, 30 Anthropologists distinction and multiple Zenodo open-access grants. She currently supervises internships and serves as journal reviewer.

• Biological Anthropology
• Forensic Sciences
• Paleopathology
• +7 more

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.

• Distributed Systems
• Cloud Computing
• Peer-to-Peer Networks
• +3 more

Ana Nunes Alonso is a researcher at the High Assurance Software Lab (HASLab) and an Invited Assistant Professor at the University of Minho, where she lectures in courses on Fault Tolerance, Distributed Systems and Operating Systems. She has been affiliated with INESC TEC since February 1, 2012, contributing to multiple National and European research and innovation projects in collaboration with industry in the Software Engineering, Insurance and Energy domains. Her research interests focus on dependable data management and data processing systems, with particular expertise in various fault tolerance mechanisms. She has published extensively on distributed agreement protocols, privacy-preserving machine learning applications, and database system architectures. Her recent publications demonstrate a strong focus on practical implementations of theoretical concepts, particularly in distributed systems and database technologies. Her work on TADA (Toolkit for Approximate Distributed Agreement) addresses challenges in distributed consensus, while her research on TiQuE and LOOM explores innovative approaches to database system design and transaction processing. Ana has supervised multiple master's thesis students on topics including distributed query processing, consensus algorithms, blockchain permissions, and SQL interpretation. Her work bridges academic research with practical industry applications, particularly in the insurance and energy sectors where data reliability and security are critical. She is affiliated with the High-Assurance Software Lab (HASLab) at INESC TEC, a research center focused on developing trustworthy software systems through rigorous engineering approaches and formal methods.

• Dependable Data Management
• Distributed Systems
• Fault Tolerance
• +2 more

José Orlando Pereira is an Associate Professor at the Department of Informatics, University of Minho, and Research Coordinator at INESC TEC (INESC Technology and Science). His primary research interests lie in dependable distributed systems, with a focus on data management, group communication protocols, and tools for distributed system evaluation. He leads the High-Assurance Software Laboratory (HASLab) , part of INESC TEC and the University of Minho. Roles: Academic supervisor, conference committee member (e.g., SRDS 2025 General Co-Chair), and grant recipient (e.g., ADAPQO funding from CMU Portugal 2024). Key Projects: Includes CYBERACTIONING (cybersecurity education), EUMaster4HPC (European HPC master's program), and AIDA (adaptive assurance platform). Research Themes: Database replication, georeplicated systems, consensus protocols, edge computing, and fault injection tools like LAZYFS. His work emphasizes practical applications, such as improving transactional performance in hybrid workloads (TiQuE) and designing scalable NoSQL middleware (CloudMdsQL). He has authored over 200 publications, including seminal contributions to gossip protocols (HyParView) and consensus algorithms. Awards: Honorable Mention at ACM SIGMOD 2025 for CRDV research. Active in organizing conferences such as SRDS, DSN, and EuroSys. Teaching: Offers advanced courses on distributed systems, database administration, and large-scale data replication at both undergraduate and graduate levels.

• Dependable Distributed Systems
• Data Management
• Database Replication
• +7 more

Rogério António Pontes serves as an External Research Collaborator at INESC TEC's High-Assurance Software Centre (HASLab) since July 2014, contributing to cutting-edge research in computer security and data privacy. His work bridges academic innovation with industry-relevant solutions for secure data systems. He completed his Master's thesis on "Linear Algebra Approach to OLAP systems" and is currently pursuing his PhD through the MAP-i Doctoral programme, focusing on data privacy challenges in collaboration with the European SafeCloud-eu project. His educational trajectory demonstrates a clear progression from theoretical foundations to applied security research. Pontes' research centers on practical implementations of privacy-preserving technologies across distributed environments. His expertise spans cryptographic protocols for secure computation, oblivious database operations, and multi-cloud storage architectures. He addresses critical gaps in data security by developing systems that maintain confidentiality without sacrificing performance, with particular emphasis on real-world deployability in cloud and distributed infrastructures. His publication record reveals a consistent trajectory toward increasingly sophisticated secure system designs. Early work established foundations in secure file systems (SafeFS, 2017) and multi-cloud databases (d'Artagnan, 2019), evolving toward optimized oblivious search (CODBS, 2021) and general-purpose secure CRDTs (2023). This progression demonstrates mastery in combining cryptographic theory with systems engineering to solve concrete privacy challenges. As an integral member of HASLab at INESC TEC, Pontes collaborates within a high-assurance software research ecosystem focused on developing verifiable security solutions. His work directly impacts how sensitive data is processed in untrusted environments, contributing to Portugal's growing reputation in cybersecurity research through both theoretical contributions and open-source implementations.

• Data Privacy
• Secure Data Processing
• Cryptographic Protocols
• +4 more

Carla Ferreira is a Full Professor in the Computer Science Department at NOVA University of Lisbon and a researcher at NOVA Laboratory for Computer Science and Informatics (NOVA LINCS) in the Software Systems research group. Her academic career began as an Assistant at Universidade do Minho, followed by positions at the University of Southampton's Dependable Systems & Software Engineering Group, and later as an Assistant Professor at IST before joining her current position at NOVA University Lisbon. Her primary research interests focus on Models of concurrency and distribution , Foundations of cloud computing , and Language-based techniques for low-code software development . She has made significant contributions to distributed systems, particularly in the areas of data replication, consistency models, and programming languages for distributed environments. Her work bridges theoretical foundations with practical applications in cloud and edge computing systems. Dr. Ferreira's recent publications demonstrate a strong focus on low-code development platforms, particularly the OSTRICH language framework she has developed, as well as replicated data types, spatio-temporal monitoring systems, and ontology-based approaches to software development. Her research consistently addresses the challenges of building reliable distributed systems while improving developer productivity through language-based techniques. She has served on the program committees of numerous prestigious conferences including ECOOP, FORTE, POPL, and TACAS, demonstrating her standing in the programming languages and distributed systems communities. As an academic advisor, Dr. Ferreira has supervised numerous PhD and MSc students, both ongoing and completed, working on topics ranging from distributed databases to low-code development and formal verification. She has also led significant research projects including PRECISE (as Principal Investigator), GOLEM, LightKone, and currently TaRDIS (Trustworthy and Resilient Decentralised Intelligence for Edge Systems).

• Models of concurrency and distribution
• Foundations of cloud computing
• Language-based techniques for low-code software development
• +5 more

Sérgio Duarte is an Assistant Professor at the Department of Informatics, Faculty of Sciences and Technology, Universidade Nova de Lisboa (FCT/UNL). His research focuses on distributed systems, cloud computing, and database management, particularly in consistency models and replication mechanisms. Research Interests: Distributed Systems, Cloud Computing, Conflict-free Replicated Data Types (CRDTs), Consistency Models, Geo-replication, Event-based Systems. Key Contributions: Work on causal consistency, invariant preservation in databases, and client-side fault tolerance in geo-replicated environments. Email: smd@fct.unl.pt

• Distributed Systems
• Cloud Computing
• Database Management
• +3 more

João Coelho Garcia serves as an Assistant Professor at Instituto Superior Técnico, University of Lisbon, and is affiliated with the Distributed Systems Group at INESC ID Lisbon. His academic responsibilities include teaching courses in Mobile and Ubiquitous Computing, Distributed Systems, and Operating Systems, Virtualization and Cloud Computing for the 2025/2026 academic year. Dr. Garcia's research spans distributed systems, cloud computing, and operating systems with specialized focus on consistency models, fault tolerance mechanisms, and privacy preservation in distributed environments. His work addresses critical challenges in serverless computing architectures, error reporting systems, and resource elasticity for cloud-native applications. The interdisciplinary nature of his research extends into public health and economics through studies on labor supply impacts from congenital disabilities and childcare policy effectiveness. Analysis of his recent publications reveals dominant trends in distributed systems consistency (particularly causal and cross-service models), privacy-enhanced fault replication, and predictive elasticity for cloud workloads. His research bridges theoretical distributed systems concepts with practical applications in serverless functions, error reporting systems, and cloud resource management while maintaining interdisciplinary connections to socioeconomic studies. As a core member of INESC ID Lisbon's Distributed Systems Group, Dr. Garcia contributes to advanced research in distributed computing infrastructure. The group maintains strong industry collaborations and focuses on developing next-generation solutions for consistency, fault tolerance, and privacy in modern distributed applications through both theoretical frameworks and practical system implementations.

• Distributed Systems
• Cloud Computing
• Operating Systems
• +3 more

Nuno Preguiça is a Full Professor at the Department of Computer Science, Faculty of Science and Technology, Universidade NOVA de Lisboa, where he also serves as the Coordinator of the Computer Systems research area at NOVA LINCS. His research focuses on distributed systems, with particular emphasis on data replication, consistency models, and cloud/edge computing architectures. He has made significant contributions to the field of Conflict-free Replicated Data Types (CRDTs) and their application in geo-replicated systems. His research interests encompass distributed systems, cloud computing, edge computing, database systems, replication techniques, consistency models, Conflict-free Replicated Data Types (CRDTs), geo-replication, mobile computing, and fault tolerance. Preguiça's work bridges theoretical foundations with practical implementations, developing systems that balance strong consistency guarantees with high availability and performance requirements. He has made notable contributions to understanding the trade-offs between different consistency models and developing practical systems that implement these models efficiently. His recent publications reveal a strong focus on practical implementations of distributed systems, with particular attention to CRDTs, causal consistency, and geo-replication techniques. His work spans both theoretical foundations and real-world implementations, addressing challenges in environments ranging from highly volatile networks to secure settings and edge computing infrastructures. The research shows a consistent trajectory toward making distributed systems more efficient, reliable, and accessible while maintaining appropriate consistency guarantees. As an academic advisor, Preguiça has mentored numerous PhD and Master's students, many of whom have gone on to successful careers in academia and industry, including positions at Google, ElectricSQL, and research institutions. His research has been supported by multiple projects including Tardis, SAMOA, LightKone, and AntidoteDB, funded by organizations such as FCT/MCTES, UE H2020, and ANR. He leads the SwiftCloud and SwiftComp research initiatives, which focus on developing efficient storage and computation solutions for cloud environments using CRDTs. His work has resulted in several open-source software projects including AntidoteDB, AQL, and Legion, which have been adopted by both academic and industrial communities.

• Distributed Systems
• Cloud Computing
• Edge Computing
• +7 more

Francisco Moura is an Associate Professor at the University of Minho, affiliated with HASLab/INESC TEC. His research focuses on Systems Software, including compiler design, operating systems, middleware, and performance optimization. He co-founded Eurotux SA, specializing in open-source software and cloud-based systems. His work emphasizes the interplay between performance metrics (efficiency, availability) and software system architecture. Research interests span distributed systems, database replication protocols, and mobile agent architectures. Notable contributions include studies on partial replication in databases, fault-tolerant group communication systems, and optimizing transaction processing in wide-area networks. Publications highlight practical applications of theoretical models, validated via network simulators and real-world benchmarks. Publications (2001–2006) address challenges in distributed computing, from mobile agent frameworks for virtual enterprises to latency-reduction techniques in WANs. No scientific awards listed, but active in industry-academia collaborations through Eurotux SA. Advising activities are unspecified in available texts. His work is anchored in HASLab/INESC TEC, a leading center for high-assurance software research.

• Systems Software
• Distributed Systems
• Operating Systems
• +5 more