PhD Students
![]() |
Catarina Gamboa — Improving the Usability of Liquid Types for Reliable Software (with Jonathan Aldrich) ![]() ![]() |
![]() |
Paulo Santos – Specification-Guided Repair for Robotic Systems
(with Chris Timperley) ![]() |
![]() |
Guilherme Espada – Stochastic Resource Analysis of Programs ![]() ![]() |
![]() |
Pedro Barbosa — Modelling the impact of deep intronic mutations on the human disease (with Carmo-Fonseca)
![]() ![]() |
MSc Students
![]() | André Silva — Detection of Transaction Consistency Problems in Microservices (with Antónia Lopes) |
![]() | José Eduardo Madeira — Program Synthesis with Genetic Engine |
Past Interns |
||||
Year | Name | Institution | Topic | |
---|---|---|---|---|
2023 | Lukas Abelt | MSc Student at Saarland University | Layered Types ![]() |
|
2022 | Lisa Vasilenko | PhD Student at IMDEA | Formalization of LiquidJava with Typestates | |
2021 | Francisco Pimenta | Undergrad at U.Lisboa | Prediction of Machine Learning Pipeline Execution Time | |
Past MSc Students |
||||
Year | Name | Degree | Topic | Next |
2022-23 | Kirill Golubev | Computer Science ITMO |
Adding Separation Logic Support to LiquidJava | PhD at Uppsala University |
2021-22 | Miguel Tavares | Software Engineering U.Lisboa |
RobotFix: Detecting Bugs On Variables In Robot Programs ![]() (co-advised by Chris Timperley) |
CrossJoin Solutions |
2021-22 | Ricardo Cordeiro | Software Engineering U.Lisboa |
Formalization and Runtime Verification of Invariants for Robotic Systems ![]() (co-advised by Chris Timperley) |
Köerber Supply Chain |
2021-22 | Leon Ingelse | Data Science U.Lisboa |
Optimization of Feature Learning through Grammar-Guided Genetic Programming ![]() ![]() |
Self-employed |
2020-21 | Catarina Gamboa | Software Engineering U.Lisboa |
Refined Java: adding optional refinements to the Java language (co-advised by Chris Timperley) |
PhD at CMU and U.Lisboa |
2020-21 | Gonçalo Duarte | Software Engineering U.Lisboa |
Bio-inspired optimization algorithms for unit test generation (advised by José Campos) |
FundManager |
2020-21 | João David | Software Engineering U.Lisboa |
Improving Machine Learning Pipeline Creation using Visual Programming and Static Analysis | Critical TechWorks (BMW and Critical Software) |
2020-21 | Máximo Oliveira | Software Engineering U.Lisboa |
Exploring a Larger Search Space for Automatic Program Repair ![]() |
BlackRock |
2019-20 | Paulo Santos | Software Engineering U.Lisboa |
Towards the Conceptualization of Refinement Typed Genetic Programming ![]() |
PhD at CMU and U.Lisboa |
2019-20 | Guilherme Espada | Software Engineering U.Lisboa |
Automatic Conversion of Ada Source Code to Scala | PhD at U.Lisboa |