Yufeng Li

Yufeng Li is a PhD student in the Department of Computer Science and Technology at the University of Cambridge, supervised by Marcelo Fiore and co-supervised by Krzysztof Kapulkin. Their research focuses on category theory and homotopy type theory, with publications in theoretical computer science and mathematical logic.

Yufeng has taught undergraduate courses through supervisions, including Types, Semantics of Programming Languages, and Discrete Mathematics. They have presented work at venues such as the Geometry and Topology Seminar (University of Western Ontario, 2025) and HoTT/UF 2025 (Università di Genova).

Key research outputs include foundational work on extensional concepts in type theory and logical structures in category theory.