PhD Students
|
Catarina Gamboa — Improving the Usability of Liquid Types for Reliable Software (with Jonathan Aldrich)  Usability-Oriented Design of Liquid Types for Java at ICSE 2023  Student Volunteer Chair at SPLASH 2023, Artifact Evaluation Committee at PLDI 2023 |
|
Paulo Santos – Specification-Guided Repair for Robotic Systems
(with Chris Timperley) An Experience Report on Challenges in Learning the Robot Operating System at RoSE 2022 |
|
Guilherme Espada – Stochastic Resource Analysis of Programs Artifact Evaluation Committee at PLDI 2022 Video Chair at PLDI 2022, POPL 2023, PLDI 2023, ICFP 2023, SPLASH 2023 |
|
Pedro Barbosa — Modelling the impact of deep intronic mutations on the human disease (with Carmo-Fonseca)
Computational prediction of human deep intronic variation at GigaScience Clinical significance of genetic variation in hypertrophic cardiomyopathy: comparison of computational tools to prioritize missense variants at Fronteirs in Cardiovascular Medicine |
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 |