Chuangjie Xu

Mathematisches Institut       Email:
Ludwig-Maximilians-Universität München Office: Block B, B420
Theresienstr. 39 Tel: +49 (0)89 2180 4417
D-80333 München Fax: +49 (0)89 2180 4038

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

I obtained my Ph.D. degree under the supervision of Martín Escardó at the University of Birmingham.

Thesis title: A continuous computational interpretation of type theories

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

Research papers

Research Talks


Last modified: Mon 16th Oct 2017