Chuangjie Xu

fortiss GmbH       Email: lastname@fortiss.org
Guerickestraße 25 or  lastname@math.lmu.de
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


Unpublications


Teaching


Last modified: Wed 22 September 2021