Supervisions
Filter Supervisions: 2021 - 2023
PhD Theses
PhD Theses: 2
2021
Advisors: Pedro T. Monteiro and Inês Lynce
Model Revision of Boolean Logical Models of Biological Regulatory Networks
PhD Thesis at Instituto Superior Técnico, Sep. 2021 [bibTex]
Advisors: Inês Lynce and Pedro T. Monteiro
Solving Scheduling Problems under Disruptions
PhD Thesis at Instituto Superior Técnico, Jul. 2021 [bibTex]
MSc Theses
MSc Theses: 19
2022
Advisors: Pedro T. Monteiro and Rui Miguel Carrasqueiro Henriques
Descriptive and predictive modelling of blood activity in Portugal
MSc Thesis, Dec. 2022 [bibTex]
Advisors: João F. Ferreira and Martin Monperrus, KTH Royal Institute of Technology
A Comparative Study of Self-Supervised Learning Techniques for Functional Program Repair
MSc Thesis at Instituto Superior Técnico, Universidade de Lisboa, Nov. 2022 [bibTex]
Advisors: João F. Ferreira and Rui Abreu
A Study on Generating Q# Quantum Programs using a Sequence-To-Sequence Machine Learning model
MSc Thesis, Nov. 2022 [bibTex]
Advisors: Inês Lynce and Miguel Ângelo da Terra Neves
Data Formatting Synthesis by Example
MSc Thesis at Instituto Superior Técnico, Nov. 2022 [bibTex]
Advisors: João F. Ferreira
Formal Specification and Verification of the Lazy JellyFish Skip List: A Case Study in Iris on the Verification of Concurrent Maps with Version Control
MSc Thesis at Instituto Superior Técnico, Universidade de Lisboa, Nov. 2022 [bibTex]
Advisors: João F. Ferreira
GLITCH: Polyglot Code Smell Detection for Infrastructure as Code
MSc Thesis at Instituto Superior Técnico, Universidade de Lisboa, Nov. 2022 [bibTex]
Advisors: Inês Lynce and Alexandre Duarte de Almeida Lemos
Incremental Synthesis of OutSystems Logic
MSc Thesis at Instituto Superior Técnico, Nov. 2022 [bibTex]
Advisors: Pedro T. Monteiro and Inês Lynce
Optimization models for IPST blood collection
MSc Thesis at Instituto Superior Técnico, Nov. 2022 [bibTex]
2021
Advisors: Pedro T. Monteiro and Miguel C. Teixeira
A Metabolic-Regulatory Genome-Scale Integration forSaccharomyces cerevisiae: Predicting Targets forIncreased Ethanol Production
MSc Thesis at Instituto Superior Técnico, Dec. 2021 [bibTex]
Advisors: Pedro T. Monteiro and Sofia Teixeira
Network motifs in multi-graphs
MSc Thesis at IST, Dec. 2021 [bibTex]
Advisors: Vasco Manquinho and Inês Lynce
Automatic Chart Interpretation
MSc Thesis at IST, Nov. 2021 [bibTex]
Advisors: Mikolas Janota and Vasco Manquinho
Boolean Leximax Optimisation using Iterative SAT Solving
MSc Thesis at IST, U. Lisboa, Nov. 2021 [bibTex]
Advisors: Inês Lynce and Miguel Neves
Next-Gen Pure Function Synthesis in OutSystems
MSc Thesis, Nov. 2021 [bibTex]
Advisors: João F. Ferreira and Alexandra Mendes
On Usable Security and Verified Password Managers
MSc Thesis at Instituto Superior Técnico, University of Lisbon, Nov. 2021 [bibTex]
Advisors: Mikolas Janota and Vasco Manquinho
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]
Internships
Internships: 1
2022
Advisors: Rui Miguel Carrasqueiro Henriques and Vasco Manquinho
Descriptive and predictive analysis of spatiotemporal data in urban domain
short term traineeship, Jun. 2022 [bibTex]