Ongoing Supervisions

PhD Theses

PhD Theses: 3

Advisors: João Barreto
A defenir
PhD Thesis, work in progress [bibTex]
Improved correctness and scalability for blockchains
PhD Thesis, work in progress [bibTex]
Advisors: João Barreto
Suporte à programação paralela em sistemas multi-processador através do paradigma da Memória Transaccional
PhD Thesis at Instituto Superior Técnico - Technical University Lisbon, work in progress [bibTex]

MSc Theses

MSc Theses: 2

detectBiklio – detect bicycle usage with an Android smartphone ap
MSc Thesis, work in progress [bibTex]
Advisors: João Barreto
Modelização baseada em agentes para planear e avaliar intervenções de contenção da Pandemia de Covid 19
MSc Thesis, work in progress [bibTex]

Graduations

Graduation Theses: 1

Efficient Proof-of-space approaches for permissionless blockchains
Graduation Thesis at Insituto Superior Técnico, work in progress [bibTex]

Finished Supervisions

PhD Theses

PhD Theses: 1

2019

Advisors: João Barreto
Fair and Efficient Parallelism Tuning in Multi-programmed Environments
PhD Thesis at Universidade de Lisboa, Dec. 2019 [bibTex]

MSc Theses

MSc Theses: 10

2021

Nuno André Estevão Anselmo
 TBO: Total Byzantine Order - Scalable epidemic probabilistic total order resilient to Byzantine faults
MSc Thesis, work in progresson 2021 [bibTex]
Leonor Filipa Dias Alves Parreira Loureiro
Correct Smart Contract Speculation By Design
MSc Thesis, work in progresson 2021 [bibTex]
Boosting machine learning applications with weakly-consistent collectives
MSc Thesis, Jan. 2021 [bibTex]

2019

David Vavricka
Behavior characterization in cryptocurrency networks
MSc Thesis, work in progresson 2019 [bibTex]
Applying Modern HPC Programming Platforms to Plasma Simulations
MSc Thesis, Oct. 2019 [bibTex]
Advisors: João Barreto
CoopMap: Democratizing Community Maps using Crowdsourcing
MSc Thesis, Oct. 2019 [bibTex]
Etherspace: Practical Proof-of-Space for Blockchains
MSc Thesis, Oct. 2019 [bibTex]
Melhoramento do Protocolo de disseminação do Ethereum
MSc Thesis, Oct. 2019 [bibTex]