Students and mentorship

Table of contents

My students

I am willing to supervise bachelors and masters’ theses on any topic within my area of expertise; this includes type theory, programming languages, topos theory, domain theory, proof assistants, etc. If your university allows it, then I am open to (co-)supervising students at institutions other than my own. If you have any questions, feel free to contact me.

Daniele Palombi (Bachelor)
Department of Mathematics
Sapienza Università di Roma
Topic: Synthetic guarded domain theory
Role: external co-supervisor
Aoyang Yu (Bachelor)
College of Computer Science and Technology
Zhejiang University
Topic: Type theory
Role: external supervisor

Thesis committees

Yue Niu (PhD)
Computer Science Department
Carnegie Mellon University
Topic: A cost-aware logical framework
Role: thesis committee member
École Doctorale MathSTIC
Topic: Computing with Extensionality Principles in Dependent Type Theory
Role: thesis jury member
School of Computer Science
University of Nottingham
Role: external reviewer