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