Current students

PhD

Henrique Navas, 2025 - present. Co-advised with Miguel Couceiro and Victor Lagerkvist.

MSc

Francisco Capelo, MSc thesis (Math, IST-UL)

Miguel Graça, MSc thesis (Math, IST-UL)

Pedro Gomes, MSc thesis (CS, IST-UL, co-advised with Ricardo Chaves)

Samuel Pearson, MSc thesis (Math, IST-UL, co-advised with Alex Davidson)

BSc

Laura Guerreiro, research project within Gulbenkian's New Talents in Mathematics program (Math, IST-UL)

Martim Pinto, independent research project (Math, IST-UL)

Past students

MSc

Francisco Costa, MSc thesis (CS, FCT-UNL, co-advised with Alex Davidson)

Diogo Ramos, MSc thesis (CS, FCT-UNL, co-advised with Alex Davidson)

Gonçalo Cavaco, MSc thesis (CS, FCT-UNL)

BSc

Daniel Bartolomeu, BSc final project (Math, IST-UL)

Francisco Relvas, BSc final project (Math, IST-UL)

Mariana Rio Costa, research project within Gulbenkian's New Talents in Mathematics program + BSc final project (Math, IST-UL). Next steps: Logic MSc at the University of Amsterdam.

Pedro Bezerra Costa, BSc final project (Math, IST-UL), 2024. Next steps: MFoCS MSc at Oxford.

Rui Zhu Wang, BSc final project (Math, IST-UL), 2024. Next steps: MFoCS MSc at Oxford.

Tomás Oliveira, BSc final project (Math, IST-UL), 2024.

Diogo Carvalho, BSc research project (CS, FCT-UNL, co-advised with Alex Davidson), 2024.

Arda Aydın, BSc research project (Boğaziçi University), 2022. Next steps: PhD student in the ECE Department at the University of Maryland.