Chuangjie Xu

Mathematisches Institut       Email: xu@math.lmu.de
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


Unpublications


Teaching


Last modified: Tue 20th August 2019