Chuangjie Xu

fortiss GmbH       Email:
Guerickestraße 25 or
80805 München

About me

I'm a researcher in the Safety and Security group at fortiss. Before joining fortiss, I was a Humboldt postdoctoral research fellow at LMU Munich. I obtained my Ph.D. degree under the supervision of Martín Escardó at the University of Birmingham.

My research interests include type theory and its applications (especially in program analysis and verification), constructive mathematics, program extraction from proofs, many other things.

Research papers

Selected Research Talks



Last modified: Thur 8 April 2021