Current Ph.D. Students
-
Néot Choserot
- Project: Aspects of Two-Dimensional Universal Algebra.
- Funding: Centre for Mathematics, University of Coimbra.
-
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 interested in categorical structures, programming language semantics, formal methods, software technology, or closely related areas are welcome to get in touch.