Chuangjie Xu

SonarSource GmbH       Email: firstname.lastname@sonarsource.com
Bochum, Germany or  lastname@math.lmu.de

About me

I'm a static analysis scientist at SonarSource in Bochum.

Before being a SonarSourcer, I was a researcher in the Safety and Security group at fortiss in Munich during 2020-2022, and a Humboldt postdoctoral research fellow at LMU Munich during 2017-2020. I obtained my Ph.D. degree at the University of Birmingham in 2015. My Ph.D. supervisor is Prof. Martín Hötzel Escardó.

My current work focuses on formal methods (static analysis, runtime verification, etc.) for improving software quality. My research interests include type theory, constructive mathematics, program extraction from proofs, many other things.


Recent activities


Research papers


Selected Research Talks


Unpublications


Teaching


Last modified: Sun 21 May 2023