Chuangjie Xu


Profile

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 computational continuous interpretation of type theories.

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


Research papers


Research Talks


Unpublications


Last modified: Sun 15th May 2016