Ongoing Supervisions

MSc Theses

MSc Theses: 4

João Bernardo Correia da Silva
Ambulance Assignment for Medical Emergencies
MSc Thesis at IST - U. Lisboa, work in progress [bibTex]
Automatic Chart Interpretation
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: Inês Lynce and Miguel Neves
Sketch-Driven SQL Synthesis
MSc Thesis, 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: 5

2021

Advisors: Inês Lynce and Miguel Neves
Pure Function Synthesis in the OutSystems Plataform
MSc Thesis at Instituto Superior Técnico, Jan. 2021 [bibTex]

2020

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

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]