Supervisions

MSc Theses

MSc Theses: 9

2022

Afonso Miguel Oliveira de Sousa Ribeiro
Advisors: Vasco Manquinho and Miguel Ventura
ArcticTern: Automated Code Migration
MSc Thesis at IST - Universidade de Lisboa, Nov. 2022 [bibTex]
João Lopes Palet de Almeida
Context-based predictive models for medical emergencies
MSc Thesis at IST - U. Lisboa, Mar. 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]
Boolean Leximax Optimisation using Iterative SAT Solving
MSc Thesis at IST, U. Lisboa, Nov. 2021 [bibTex]
Automated Computational Complexity Estimation
MSc Thesis at IST - Universidade de Lisboa, Jan. 2021 [bibTex]
José Eduardo Alves Costa
Data2Help: Integração e Limpeza de Dados
MSc Thesis at IST - U. Lisboa, Jan. 2021 [bibTex]
Advisors: Vasco Manquinho
Evaluating Redistricting of Electoral Areas
MSc Thesis at IST - U. Lisboa, Jan. 2021 [bibTex]
Advisors: Vasco Manquinho and Miguel Angelo Terra Neves
Stochastic Multi-Objective Combinatorial Optimization Algorithms
MSc Thesis, Jan. 2021 [bibTex]

Internships

Internships: 2

2022

Descriptive and predictive analysis of spatiotemporal data in urban domain
short term traineeship, Jun. 2022 [bibTex]

2021

Leonor Pimenta
Anomoulous and Emerging Pattern Discovery from Spatiotemporal Urban Data
short term traineeship, Jan. 2021 [bibTex]