Supervision

Current PhD Students

• Emilie Uthaiwat, working on the lambda calculus as a 2-dimensional operad.

Past PhD Students

• Matteo Spadetto (main supervisor: Nicola Gambino), who worked on the syntax and semantics of propositional dependent type theories.