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

2022

Tomás Ferrage Inácio
IPST blood collection data - Models for blood collections optimization
MSc Thesis at Instituto Superior Técnico, Nov. 2022 [bibTex]

2021

João Bernardo Correia da Silva
Ambulance Assignment for Medical Emergencies
MSc Thesis at IST - U. Lisboa, Nov. 2021 [bibTex]
Automatic Chart Interpretation
MSc Thesis at IST, Nov. 2021 [bibTex]
Joana Isabel Nunes Alves
Development of models to optimize IPST blood collections
MSc Thesis at Instituto Superior Técnico, Nov. 2021 [bibTex]
Advisors: Inês Lynce and Miguel Neves
Next-Gen Pure Function Synthesis in OutSystems
MSc Thesis, Nov. 2021 [bibTex]
Advisors: Inês Lynce and Miguel Neves
Sketch-Driven SQL Synthesis
MSc Thesis, Nov. 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]