Students

Current

PhD Students

• João Martinho, co-supervised with João Barreto. Instituto Superior Técnico. 2022-present. Research topic: efficiency and security in permissionless blockchains.

• Francisco Rola, co-supervised with Paolo Romano. Instituto Superior Técnico. 2021-present. Research topic: blockchain sharding.

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

• Ray Neiheiser, co-supervised with Luís Rodrigues and Carlos Montez (UFSC, Brazil). Instituto Superior Técnico and UFSC, Brazil. 2019 - present Research topic: scalable byzantine consensus and permissioned blockchains.

• Paulo Silva, co-supervised with João Barreto. Instituto Superior Técnico. 2017-present. Research topic: consistency and correctness guarantees in permissionless blockchains.

Master Students

• André Fonseca. Reproducible fault injection in distributed systems

• Henrique Fernandes. Automatic Testing of Persistent Memory Applications

• Miguel Mendes. State-based Fault-injection in distributed systems

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

• Wilson Pereira, co-supervised with João Barreto. Boosting transaction throughput in Nimblechain

Alumni

PostDoc

• Shady Issa. Currently at Oracle

Master Students

• 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