Supervisions

MSc Theses

MSc Theses: 8

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 IST, Dec. 2021 [bibTex]
Advisors: Pedro T. Monteiro and Sofia Teixeira
Network motifs in multi-graphs
MSc Thesis at IST, Dec. 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]

2020

CUBES: A New Dimension in Query Synthesis From Examples
MSc Thesis at IST - Universidade de Lisboa, Nov. 2020 [bibTex]
Advisors: Inês Lynce and Miguel Neves
FOREST: An interactive multi-tree synthesizer for regular expressions
MSc Thesis at Instituto Superior Técnico, Nov. 2020 [bibTex]