Chuangjie Xu
Static Analysis Scientist
Essen, North Rhine-Westphalia, Germany
Summary
👤
Senior🎓
Top SchoolChuangjie Xu is a Static Analysis Scientist with 11 years of experience translating mathematical logic into practical tools for software safety and security. Currently at Sonar after research roles at fortiss and a postdoc in mathematical logic at LMU Munich, he specializes in theorem provers, static analysis, and runtime verification. His work bridges deep formal methods and industry-grade tooling, turning foundational ideas into analyzers that help developers catch real-world bugs and vulnerabilities. Trained with a PhD in Computer Science from the University of Birmingham and a first-class BSc, he combines rigorous academic insight with applied research experience across Europe. Notably, his career trajectory reflects a steady shift from theoretical logic to concrete safety-focused engineering within commercial and research settings.
11 years of coding experience
3 years of employment as a software developer
Bachelor of Engineering - BE, Computer Software Engineering, Bachelor of Engineering - BE, Computer Software Engineering at Sun Yat-sen UniversityDoctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at University of Birmingham
Github Skills (21)
agda8
type-theory6
ordinal6
idris6
dependent-types6
homotopy-type-theory5
cubical-type-theory5
programming-language5
proof-assistant5
lambda-calculus4
normal4
computation4
interpreter4
theorem-proving4
theorem3
Programming languages (3)
Github contributions (5)
cj-xu/cj-xu.github.io
Feb 2015 - Oct 2019
Contributions:141 pushes, 1 branch in 4 years 8 months
cj-xu/ContinuityType
Feb 2015 - Jun 2015
Contributions:17 commits, 16 pushes, 1 branch in 3 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.