Chuangjie Xu


I'm a postdoctoral research fellow working with Sam Sanders at the Munich Center for Mathematical Philosophy (MCMP).

Before coming to the MCMP, I completed my Ph.D. degree under the supervision of Martín Escardó in the School of Computer Science at the University of Birmingham.

Research interests

My research interests include constructive mathematics, (homotopy) type theory, topological methods in the theory of computation, computation extraction from proofs.

Ph.D. thesis

My Ph.D. thesis is entitled A continuous computational interpretation of type theories.

abstract (pdf), full text (pdf), Agda (browsable in html), zip file

Research papers

Research Talks


Last modified: Fri 21st Oct 2016