Scholar
Chuangjie Xu
Google Scholar ID: YR9VeLAAAAAJ
Static Analysis Scientist, SonarSource
Citations & Impact
Citations
153
H-index
8
i10-index
8
Publications
20
Co-authors
5
list available
Contact
Publications
Resume (English only)
Academic Achievements
- Published multiple research papers in areas such as type theory, constructive mathematics, and formal methods. Some of his papers have been published in conferences and journals like LICS 2023, SACMAT 2024, and Theoretical Computer Science.
Research Experience
- Worked as a researcher in the Safety and Security group at fortiss in Munich from 2020 to 2022, and as a Humboldt postdoctoral research fellow at LMU Munich from 2017 to 2020.
Education
- Obtained his Ph.D. degree from the University of Birmingham in 2015, supervised by Prof. Martín Hötzel Escardó.
Background
- Currently a static analysis scientist at SonarSource, with research interests in type theory, constructive mathematics, and program extraction from proofs. He is also interested in origami and its mathematics.
Miscellany
- Personal interests include origami and its mathematics.
