Current Ph.D. Students
-
Néot Choserot
- Project: Aspects of Two-Dimensional Universal Algebra.
- Supervisors: Fernando Lucatelli Nunes and Rui Prezado.
- Funding: Competitive doctoral research fellowship.
-
Diogo Simm
- Project: Programming language semantics, probabilistic programming, domain-specific languages, and automatic differentiation.
- Supervisors: Matthijs Vákár and Fernando Lucatelli Nunes.
- Funding: ERC Starting Grant FoRECAST.
Former Ph.D. Student
-
Rui Rodrigues de Abreu Fernandes Prezado
- Thesis: Some Aspects of Descent Theory and Applications.
- Area: Generalised multicategories and Grothendieck descent theory.
- Supervisors: Fernando Lucatelli Nunes and Maria Manuel Clementino.
- Funding: FCT (Fundação para a Ciência e a Tecnologia).
- Outcome: Ph.D. awarded summa cum laude, January 2024.
Prospective Ph.D. students working in these areas are welcome to get in touch.
Research community and doctoral development
I organise the CLASS Seminar (Category, Logic, Algebra & Semantics Seminar), an international group centred on my students and open to interested PhD students elsewhere. It brings together pure mathematics and computer science, with an emphasis on sharing ideas, learning from one another, and communicating across different research backgrounds.