The team that works directly with me have been dubbed “The Cool Kids”, which I believe is better than any acronym.
- Pedro Barbosa — Modelling the impact of deep intronic mutations on the human disease (with Carmo-Fonseca)
- Guilherme Espada
- Paulo Santos
- Catarina Gamboa — Refined Java: adding optional refinements to the Java language.
- João David — CAMELOT: Automatically Generating Efficient Feature Extraction Code
- Máximo Oliveira — Synthesis of Software via Refinement Types and Evolutionary Computation
- Bernardo Ferrari — Compiling a Refinement Typed Language to LLVM (with Rafael de Santiago)
- Lia Malato — Proving Theorems in Lean (with Fernando Ferreira)