Current Ph.D. Students
-
Néot Choserot
- Project: Aspects of Two-Dimensional Universal Algebra.
- Funding: Competitive doctoral research fellowship.
-
Diogo Simm
- Project: Programming language semantics, probabilistic programming, domain-specific languages, and automatic differentiation.
- Co-supervisor: Dr. Matthijs Vákár.
- 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.
- Co-supervisor: Prof. 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.