Supervisions

PhD Theses

PhD Theses: 2

2021

Model Revision of Boolean Logical Models of Biological Regulatory Networks
PhD Thesis at Instituto Superior Técnico, Sep. 2021 [bibTex]
Solving Scheduling Problems under Disruptions
PhD Thesis at Instituto Superior Técnico, Jul. 2021 [bibTex]

MSc Theses

MSc Theses: 19

2022

Descriptive and predictive modelling of blood activity in Portugal
MSc Thesis, Dec. 2022 [bibTex]
Advisors: João F. Ferreira and Martin Monperrus, KTH Royal Institute of Technology
A Comparative Study of Self-Supervised Learning Techniques for Functional Program Repair
MSc Thesis at Instituto Superior Técnico, Universidade de Lisboa, Nov. 2022 [bibTex]
A Study on Generating Q# Quantum Programs using a Sequence-To-Sequence Machine Learning model
MSc Thesis, Nov. 2022 [bibTex]
Advisors: Inês Lynce and Miguel Ângelo da Terra Neves
Data Formatting Synthesis by Example
MSc Thesis at Instituto Superior Técnico, Nov. 2022 [bibTex]
Formal Specification and Verification of the Lazy JellyFish Skip List: A Case Study in Iris on the Verification of Concurrent Maps with Version Control
MSc Thesis at Instituto Superior Técnico, Universidade de Lisboa, Nov. 2022 [bibTex]
GLITCH: Polyglot Code Smell Detection for Infrastructure as Code
MSc Thesis at Instituto Superior Técnico, Universidade de Lisboa, Nov. 2022 [bibTex]
Advisors: Inês Lynce and Alexandre Duarte de Almeida Lemos
Incremental Synthesis of OutSystems Logic
MSc Thesis at Instituto Superior Técnico, Nov. 2022 [bibTex]
Optimization models for IPST blood collection
MSc Thesis at Instituto Superior Técnico, Nov. 2022 [bibTex]

2021

Advisors: Pedro T. Monteiro and Miguel C. Teixeira
A Metabolic-Regulatory Genome-Scale Integration forSaccharomyces cerevisiae: Predicting Targets forIncreased Ethanol Production
MSc Thesis at Instituto Superior Técnico, Dec. 2021 [bibTex]
Advisors: Pedro T. Monteiro and Sofia Teixeira
Network motifs in multi-graphs
MSc Thesis at IST, Dec. 2021 [bibTex]
Automatic Chart Interpretation
MSc Thesis at IST, Nov. 2021 [bibTex]
Boolean Leximax Optimisation using Iterative SAT Solving
MSc Thesis at IST, U. Lisboa, Nov. 2021 [bibTex]
Advisors: Inês Lynce and Miguel Neves
Next-Gen Pure Function Synthesis in OutSystems
MSc Thesis, Nov. 2021 [bibTex]
Advisors: João F. Ferreira and Alexandra Mendes
On Usable Security and Verified Password Managers
MSc Thesis at Instituto Superior Técnico, University of Lisbon, Nov. 2021 [bibTex]
Advisors: Inês Lynce and Miguel Neves
Sketch-Driven SQL Synthesis
MSc Thesis, Nov. 2021 [bibTex]
Automated Computational Complexity Estimation
MSc Thesis at IST - Universidade de Lisboa, Jan. 2021 [bibTex]
Advisors: Vasco Manquinho
Evaluating Redistricting of Electoral Areas
MSc Thesis at IST - U. Lisboa, Jan. 2021 [bibTex]
Advisors: Inês Lynce and Miguel Neves
Pure Function Synthesis in the OutSystems Plataform
MSc Thesis at Instituto Superior Técnico, Jan. 2021 [bibTex]
Advisors: Vasco Manquinho and Miguel Angelo Terra Neves
Stochastic Multi-Objective Combinatorial Optimization Algorithms
MSc Thesis, Jan. 2021 [bibTex]

Internships

Internships: 1

2022

Descriptive and predictive analysis of spatiotemporal data in urban domain
short term traineeship, Jun. 2022 [bibTex]