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: 3

2019

Advisors: Vasco Manquinho
SQUARES : A SQL Synthesizer Using Query Reverse Engineering
MSc Thesis, Nov. 2019 [bibTex]
Program Synthesis from Noisy Tabular Data
MSc Thesis, Oct. 2019 [bibTex]

2018

DeepSea: Web-based database
MSc Thesis at Instituto Superior Técnico, Univ. de Lisboa, Nov. 2018 [bibTex]

Training

Internships: 1

2018

64-bit ABI for small Compilers
short term traineeship, Jun. 2018 [bibTex]