PhD Students
| Catarina Gamboa — TBD |
| Paulo Santos – Software Synthesis and Repair via Refined Typed Genetic Programming (with Chris Timperley and Sara Silva) |
| Guilherme Espada – Automatically Inferring the Resource Cost of Programs |
| Pedro Barbosa — Modelling the impact of deep intronic mutations on the human disease (with Carmo-Fonseca) |
MSc Students
| Pedro Silva — CAMELOT: Optimization of Machine Learning Feature Engineering (with Antónia Lopes) |
| Leon Ingelse — GeneticEngine, an hybrid grammar-guided and strongly-typed genetic programming framework |
| Afonso Rafael — Safe Websockets Communication on Javascript via FreeST (with Vasco Vasconcelos) |
 | Miguel Tavares — RobotFix: Static Bug detection for Robotics Software (with Chris Timperley) |
 | Ricardo Cordeiro — RobotFix: Dynamic Bug detection for Robotics Software (with Chris Timperley) |
Undergraduate Students
| Bernardo Ferrari — Compiling a Refinement Typed Language to LLVM (with Rafael de Santiago) |
Past students
- 2020-21, Catarina Gamboa (MSc @ FCUL) — Refined Java: adding optional refinements to the Java language. (co-advised by Chris Timperley, now doing her PhD)
- 2020-21, Francisco Pimenta (Undergrad Summer Internship @ LASIGE) – Prediction of Machine Learning Pipeline Execution Time
- 2020-21, Gonçalo Duarte (MSc @ FCUL) — Swarm Algorithms for Evolutionary Test Suite Generation (advised by José Campos, First job at FundManager)
- 2020-21, João David (MSc @ FCUL) — CAMELOT: Automatically Generating Efficient Feature Extraction Code (First job at Critical TechWorks, a joint-venture between BMW and Critical Software)
- 2020-21, Máximo Oliveira (MSc @ FCUL) — Exploring a Larger Search Space for Automatic Program Repair (First job at BlackRock)
- 2019-20, Paulo Santos (MSc @ FCUL) — Towards the Conceptualization of Refinement Typed Genetic Programming (co-advised by Chris Timperley, now doing his PhD)
- 2019-20, Guilherme Espada (MSc @ FCUL) — Automatic Conversion of Ada Source Code to Scala (now doing his PhD)
- 2014-15, Rui Cossa (BSc @ ISCTEM) — TaxiFind – an app for efficient Taxi-hailing (now a Manager at Vodafone M-Pesa)