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, (univalent/cubical/homotopy) type theory, topological methods in the theory of computation, computation extraction from proofs.

Recent events

Research papers

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

Selected Research Talks



Last modified: Tue 20th August 2019