skip to content

Department of Computer Science and Technology

  • PhD Student

I am a PhD student supervised by Marcelo Fiore and co-supervised by Chris Kapulkin.

Research

I am working on category theory and homotopy type theory.

Teaching

Supervisions for:

Professional Activities

Talks given:

  • Geometry and Topology Seminar. January 22, 2025. University of Western Ontario. Extensional concepts in intensional type theory, revisited.
  • HoTT/UF 2025. April 15, 2025. Università di Genova. Extensional concepts in intensional type theory, revisited [abstract, slides].

Publications

Contact Details

Room: 
FE15
Email: 

yl959@cam.ac.uk