Ongoing Supervisions

PhD Theses

PhD Theses: 3

Advisors: Pedro T. Monteiro and Isabel Sá Correia
A detailed study on molecular mechanism of pluripotency in testicular stem cells an insilico study
PhD Thesis, work in progress [bibTex]
Advisors: Pedro T. Monteiro and Claudine Chaouiya
Efficient attractor characterization in large discrete event systems: application to biological regulatory networks
PhD Thesis at Instituto Superior Técnico - Universidade de Lisboa, work in progress [bibTex]
Hitting set dualization problems and applications
PhD Thesis, work in progress [bibTex]

MSc Theses

MSc Theses: 7

"Context-based predictive models for medical emergencies"
MSc Thesis at IST, work in progress [bibTex]
Advisors: Mikolas Janota
Adaptive Learning and Generation of Exercises
MSc Thesis, work in progress [bibTex]
Automatic Chart Interpretation
MSc Thesis at IST, work in progress [bibTex]
Advisors: Pedro T. Monteiro and Sofia Teixeira
Network motifs in multi-graphs
MSc Thesis at IST, work in progress [bibTex]
Advisors: Inês Lynce and Miguel Neves
Next-Gen Pure Function Synthesis in OutSystems
MSc Thesis, work in progress [bibTex]
Advisors: Mikolas Janota and Carlos Caleiro
Optimisation of Machine Learning in expansion-based QBF solving
MSc Thesis, work in progress [bibTex]
Advisors: Inês Lynce and Miguel Neves
Sketch-Driven SQL Synthesis
MSc Thesis, work in progress [bibTex]

Graduations

Graduation Theses: 1

Advisors: Pedro T. Monteiro and Miguel Teixeira
Construction of a Regulatory-Metabolic Genome-Scale model for S.cerevisiae
Graduation Thesis at IST, work in progress [bibTex]

Finished Supervisions

PhD Theses

PhD Theses: 1

2019

Constraint-Based Multi-Objective Combinatorial Optimization
PhD Thesis at IST - Universidade de Lisboa, Jun. 2019 [bibTex]

MSc Theses

MSc Theses: 13

2021

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]

2019

Data Center Optimization using vitual machine profiles
MSc Thesis, Nov. 2019 [bibTex]
Flying Tourist Problem An Integer Linear Programming Approach
MSc Thesis, Nov. 2019 [bibTex]
New Language for Program Test Generation
MSc Thesis, Nov. 2019 [bibTex]
SQUARES : A SQL Synthesizer Using Query Reverse Engineering
MSc Thesis, Nov. 2019 [bibTex]
DeepData: Machine Learning in the Marine Ecosystems
MSc Thesis at Instituto Superior Técnico, Oct. 2019 [bibTex]
Program Synthesis from Noisy Tabular Data
MSc Thesis, Oct. 2019 [bibTex]
Advisors: Inês Lynce and Miguel Ventura
Program Synthesis with Formal Methods for outsystems language
MSc Thesis at Instituto Superior Técnico, May. 2019 [bibTex]