Supervisions

PhD Theses

PhD Theses: 7

2020

Advisors: Paolo Romano and Seif Haridi
Augmenting Transactional Memory with the Future Abstraction
PhD Thesis at Instituto Superior Tecnico & KTH, Oct. 2020 [bibTex]
Advisors: Paolo Romano and Peter Van Roy
Speculation in Partially-Replicated Transactional Data Stores
PhD Thesis at Instituto Superior Tecnico & Catholic University of Louvain, May. 2020 [bibTex]

2019

Advisors: João Barreto
Fair and Efficient Parallelism Tuning in Multi-programmed Environments
PhD Thesis at Universidade de Lisboa, Dec. 2019 [bibTex]
Advisors: João Nuno de Oliveira e Silva and Nizam Omar
Environment for Knowledge Acquisition by Restricted Domain Names in Internet Infrastructure
PhD Thesis at Instituto Superior Técnico, Universidade de Lisboa / Universidade Presbiteriana Mackenzie, Oct. 2019 [bibTex]
Advisors: Luís Veiga and Peter Van Roy
Software-Defined Systems for Network-Aware Service Composition and Workflow Placement
PhD Thesis at Instituto Superior Técnico, ULisboa / Université catholique de Louvain, Jul. 2019 [bibTex]
Intrusion Recovery in Cloud Computing
PhD Thesis at Instituto Superior Técnico, Universidade de Lisboa, Jun. 2019 [bibTex]
Advisors: Luis Rodrigues and Peter van Roy
Automated Planning to Support the Deployment and Management of Applications in Cloud Environments
PhD Thesis at Universidade de Lisboa e Universite Catholique Leuven, Mar. 2019 [bibTex]

MSc Theses

MSc Theses: 32

2020

Advisors: Luis Rodrigues and Nuno Preguiça
Causality Tracking Trade-offs for Distributed Storage
MSc Thesis at Universidade de Lisboa e Universite Catholique Leuven, Nov. 2020 [bibTex]
Advisors: Luis Rodrigues
ENGAGE: Session Guaranties for the Edge
MSc Thesis, Nov. 2020 [bibTex]
Advisors: Luís Veiga
Pulsarcast - Scalable and reliable pub-sub over P2P networks
MSc Thesis at Instituto Superior Técnico, ULisboa, Jun. 2020 [bibTex]

2019

Dynamic Invocation
MSc Thesis at Instituto Superior Técnico, Universidade de Lisboa, Dec. 2019 [bibTex]
FaultSee: interactive fault injection in distributed systems
MSc Thesis, Dec. 2019 [bibTex]
MSc Thesis at Instituto Superior Técnico, Universidade de Lisboa, Dec. 2019 [bibTex] [PDF]
VisMillion and Change
MSc Thesis, Dec. 2019 [bibTex]
A Complexity Metric for Microservices Architecture Migration
MSc Thesis at Instituto Superior Técnico, University of Lisbon, Nov. 2019 [bibTex]
Advisors: António Rito Silva and Manuel Portela
A Product Family for Digital Humanities Repositories
MSc Thesis at Instituto Superior Técnico, University of Lisbon, Nov. 2019 [bibTex]
Blended Workflow introduction of skip and redo operations
MSc Thesis at Instituto Superior Técnico, University of Lisbon, Nov. 2019 [bibTex]
Advisors: Miguel Pardal
CAPTOR: loCAtion Proofs for goods TranspOrtation Reports
MSc Thesis, Nov. 2019 [bibTex]
Collaborative software development: from goals to coding
MSc Thesis at Instituto Superior Técnico, University of Lisbon, Nov. 2019 [bibTex]
Advisors: Miguel Pardal
CROSS: loCation pROofs for Smart touriSm in the city
MSc Thesis at Instituto Superior Técnico, Universidade de Lisboa, Nov. 2019 [bibTex]
detectP2P – P2P Detection of Travel Mode
MSc Thesis at Instituto Superior Técnico, ULisboa, Nov. 2019 [bibTex]
Identification of Skype Covert Channels using Sketches in SDNs
MSc Thesis at Universidade de Lisboa, Nov. 2019 [bibTex]
IoT Neighbourhood Watch
MSc Thesis, Nov. 2019 [bibTex]
Advisors: Luís Veiga
Melange: A Hybrid Approach to Tracing Heterogeneous Distributed Systems
MSc Thesis at Instituto Superior Técnico, ULisboa, Nov. 2019 [bibTex]
Advisors: António Rito Silva and Nuno Catarino
Multi-Cloud Deployment and Execution of Earth Observation Services
MSc Thesis at Instituto Superior Técnico, University of Lisbon, Nov. 2019 [bibTex]
Omega: a Secure Event Ordering Service for the Edge
MSc Thesis at Universidade de Lisboa, Nov. 2019 [bibTex]
Advisors: Miguel Pardal
Privacy-preserving data market for threat sharing
MSc Thesis, Nov. 2019 [bibTex]
RectifyPlus - Black-Box Intrusion Recovery in MEAN Applications
MSc Thesis, Nov. 2019 [bibTex]
Advisors: Luís Veiga
Startrail - Adaptative Network Caching for Peer-to-peer File Systems
MSc Thesis at Instituto Superior Técnico, ULisboa, Nov. 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]
Advisors: Luis Rodrigues
Efficient Implementation of Causal Consistent Transactions in the Cloud
MSc Thesis at Universidade de Lisboa, Sep. 2019 [bibTex]
Advisors: António Menezes Leitão and Miguel José das Neves Pires Amado
Algorithmic Tree-Inspired Design: A Link Between Manual and Performative Methodologies
MSc Thesis at Instituto Superior Técnico, Universidade de Lisboa, Jul. 2019 [bibTex]
Advisors: António Rito Silva and Manuel Portela
LdoD Visualization Reading The Book of Disquiet with Information Visualization Techniques
MSc Thesis, Jun. 2019 [bibTex]
Advisors: Miguel Pardal
Privacy protection proxy for IoT data endpoints
MSc Thesis, Jun. 2019 [bibTex]
Advisors: António Menezes Leitão and Miguel José das Neves Pires Amado
MSc Thesis at Instituto Superior Técnico, Universidade de Lisboa, May. 2019 [bibTex] [PDF]
MSc Thesis at Instituto Superior Técnico, Universidade de Lisboa, May. 2019 [bibTex] [PDF]

Training

Internships: 1

2019

Advisors: Miguel Pardal
Estágio de Verão
short term traineeship, Aug. 2019 [bibTex]