Students

I am always looking for motivated and talented students to work with. If you are interested in working with me, please send me an email with your CV and a brief description of your research interests.

Current

PhD Students

• Vaibhav Arora, co-supervised with Rodrigo Rodrigues. 2025 - present.
  Research topic: byzantine fault tolerance

• João Oliveira. 2025 - present.
  Research topic: programming tools for emerging memory technologies

• Sebastião Amaro. 2023 - present.
  Research topic: reproducible evaluation and fault injection in distributed systems.

• Francisco Rola, co-supervised with Paolo Romano. 2021-present.
  Research topic: blockchain sharding.

• João Gonçalves, co-supervised with Rodrigo Rodrigues. 2021-present.
  Research topic: reliability in persistent memory systems.

Master Students

• Xiting Wang. 2025 - present. Research Topic: Exploiting PM/CXL performance and correctness guarantees

• Rodrigo Correia. 2025 - present. Research Topic: Reproducing Fault-Induced Bugs using Linux Kernel functionality

• Sérgio Esteves, co-supervised with Sérgio Guerreiro. 2025 - present. Research Topic: Desenvolvimento de Processos de Suporte à Desmaterialização de Livranças em Blockchain

• Fábio Gomes, co-supervised with Luís Rodrigues. 2025 - present. Research Topic: Dynamic Adaptation of Tree-Based Blockchain Protocol

• Alexandre Ferreira, co-supervised with Luís Rodrigues. 2025 - present. Research Topic: Scalable Blockchain Protocols

• João Costa, co-supervised with Sérgio Guerreiro. 2025 - present. Research Topic: Desenvolvimento de Processos de Suporte ao Piloto da Desmaterialização de Livranças em Blockchain

• Francisco Sousa. 2024 - present. Research Topic: Towards Asyncrhonous Proof-of-Space

• Miguel Rocha. 2024 - present. Research Topic: Bitcoin trustless interoperability

• Filipe Quina. 2024 - present. Research Topic: Desenvolvimento de Processos de Suporte à Desmaterialização de Livranças em Blockchain

• Henrique Silva, co-supervised with Sérgio Guerreiro
  Research Topic: PLDchain a Platform for the Dematerialization of Portuguese Blank Promissory Notes

Alumni

PostDoc

• Shady Issa. Currently at Oracle

PhD Students

• Ray Neiheiser, co-supervised with Luís Rodrigues and Carlos Montez (UFSC, Brazil). Instituto Superior Técnico and UFSC, Brazil. 2019 - 2022 Thesis: Scalable and Resilient Byzantine Fault Tolerant Consensu* Currently PostDoc at Institute of Science and Technology Austria (ISTA)

Master Students

• Gonçalo Nunes, co-supervised with Paolo Romano. 2025. Boosting Smart Contract Execution through Fine-Grained Conflict Detection based on Symbolic Execution

• João Furtado. 2025. Concurrent Bug Detection in Persistent Memory Environments

• Sidnei Teixeira, co-supervised with Paolo Romano. 2024. Optimizing Smart Contract Parallelism via Commutative Operations

• Ricardo Rocha. 2024. ByzPlug: Reliability Testing of BFT Systems

• Tomás Pereira, co-supervised with Luís Rodrigues
  Dynamic Trees for Byzantine Consensus Protocols

• Hugo Rita 2024. Fine Grained Observability in Distributed Systems

• João Oliveira. 2023. Fine-grained analysis of Persistent Memory Programs

• Mónica Jin, co-supervised with João Barreto. 2023. Useful Space in Proof-of-Space Blockchains

• Duarte Bento, co-supervised with Miguel Correia. 2023. A Blockchain Framework for the AgriFood Sector

• Helena Teixeira, co-supervised with Luís Rodrigues. 2023. Self-adaptive Byzantine Consensus

• Henrique Fernandes. 2022. Automatic Testing of Persistent Memory Applications

• Rafael Poças, co-supervised with João Barreto.2022. NIBOXI: Enhancing sharded blockchains with a consensusless fast-path

• João Margaço. Co-supervised with Shady Issa. 2021. Evaluation of crash-consistency in Persistent Memory Applications

• Daniel Castro. Co-supervised with Shady Issa. Instituto Superior Técnico. 2021 Reproducible fault-injection on distributed systems

• Sebastião Amaro, co-supervised with Shady Issa. Instituto Superior Técnico. 2021. Scalable and efficient network emulation

• João Martinho, co-supervised with João Barreto. Instituto Superior Técnico. 2021. Consistency and correctness guarantees in permissionless blockchains

• Catarina Pedreira, co-supervised with André Gonçalves. Instituto Superior Técnico. 2021. Trustable blockchain interoperability: incentivizing public escrow parties

• Marcelo Silva, co-supervised with Miguel Correia. Instituto Superior Técnico. 2021 P2CSTORE: P2P and Cloud File Storage for Blockchain Applications

• Francisco Rola, co-supervised with Paolo Romano. Instituto Superior Técnico. 2021. Database Partitioning via Symbolic Execution

• Leonor Loureiro, co-supervised with João Barreto. Instituto Superior Técnico. 2021. Correct Smart Contract Speculation By Design

• Nuno Anselmo, co-supervised with João Barreto. Instituto Superior Técnico. 2021. TBO: Total Byzantine Order - Scalable epidemic probabilistic total order resilient to Byzantine faults

• João Gonçalves, co-supervised with Rodrigo Rodrigues. Instituto Superior Técnico. 2020. SconeKV: Strongly CONsistEnt Key-Value Store

• David Ferreira, co-supervised with João Paulo (U. Minho). Instituto Superior Técnico. 2020. ATOCS - Automatic Configuration of Secure Databases

• Marco Coelho, co-supervised with Ricardo Chaves. Instituto Superior Técnico. 2020. Hypercloud: Blockchain-based secret management in multi-cloud storage platforms

• Paulo Gouveia. Instituto Superior Técnico. 2019. KOLLAPS: Decentralized and Dynamic Topology Emulation

• Inês Sequeira. Instituto Superior Técnico. 2019. Large Scale Distributed Algorithms Simulator

• Andr'e Mendes, co-supervised with Jorge Vila (Elecctro). Instituto Superior Técnico. 2019. Elecctro Points: A blockchain based loyalty system for vending machines owned by different merchants

• Diogo Castilho, co-supervised with João Barreto. Instituto Superior Técnico. 2019. Etherspace: Practical Proof-of-Space for Blockchains

• Luís Aguiar, co-supervised with João Barreto. Instituto Superior Técnico. 2019. Improve Dissemination in the Ethereum network

• Miguel Amaral, co-supervised with Miguel Pardal. Instituto Superior Técnico. 2019. FaultSee: Reproducible fault injection in distributed systems

• David Vavricka, co-supervised with João Barreto. Instituto Superior Técnico. 2019. Behavior characterization in cryptocurrency networks

• Claudia Fiore, co-supervised with Ricardo Chaves. Instituto Superior Técnico. 2019. Providing trust to multi-cloud storage platforms through the blockchain

• João Neves. Instituto Superior Técnico. 2018. Container network topology modelling

• Paulo Anjos, co-supervised with Miguel Correia. Instituto Superior Técnico. 2018. Blockchain as a Consensus Service

• Francisco Santos, co-supervised with Rodrigo Rodrigues. Instituto Superior Técnico. 2018. *PRIME: PRobabilistlc MEmbership - Large Scale Membership and Consistency.

• Miguel Viegas, co-supervised with Paolo Romano. Instituto Superior Técnico. 2018. Fine Grained Transaction Scheduling In Replicated Databases Via Symbolic Execution.

• João Marçal, co-supervised with Luís Rodrigues. Instituto Superior Técnico. 2018. Adaptive Information Dissemination in the Bitcoin Network

• Simon Brulhart, co-supervised with Hugues Mercier. University of Neuchâtel, Switzerland. 2018. Scaling Up the Evaluation of Distributed Systems

• Ismail Senhaji, co-supervised with Hugues Mercier. University of Neuchâtel, Switzerland. 2018. LSDSuite: An Evaluation Framework for Large-Scale Distributed Systems

• Jocelyn Thode, co-supervised with Hugues Mercier. University of Neuchâtel, Switzerland. 2017. EpTO Implementation of a Large-Scale Epidemic Total Order Algorithm

• José Ribeiro, co-supervised with Rui Oliveira. Universidade do Minho. 2017. Probabilistic Consistency in Scalable Key-Value stores

• Carlos Afonso, co-supervised with José Orlando Pereira. Universidade do Minho. 2016. Elastic Cloud Applications and Tradeoffs