PhD Students | |
|---|---|
|
Catarina Gamboa — Improving the Usability of Liquid Types for Reliable Software (with Jonathan Aldrich)
|
|
Paulo Canelas – Specification-Guided Repair for Robotic Systems
(with Chris Timperley and Sara Silva)
|
|
Guilherme Espada – Stochastic Resource Analysis of Programs
|
MSc Students | |
| Lishun Su — Program Synthesis with Dependent Types |
| Afonso Carreira — Energy-aware Programming (with Wellington Oliveira) |
| Tomás Carreira — Compilation for the FreeST language (with Vasco Vasconcelos) |
| João Magalhães — Safe Programming Language Interoperability with Session Types (with Vasco Vasconcelos) |
| José Eduardo Madeira — Program Synthesis with Refinement Typed Genetic Programming |
Undergrad Interns | |
| Márcio Milisse – Specification Synthesis of Liquid Types using Large Language Models (with Paulo Canelas and Catarina Gamboa) |
| Francisco Lima – Proof Synthesis for Lean Theorems |
| Diogo Sousa – Improving the UX of the Aeon programming language |
| Paulo Silva (MIT) – Solving the ARC challenge with DSL |
Internships at 