Ning Ge

Full Professor, Beihang University
Joined
May 2024

Names

Ning Ge (Preferred)

Emails

****@buaa.edu.cn (Confirmed)

Personal Links

Career & Education History

Full Professor
Beihang University (buaa.edu.cn)
2024 – Present

Advisors, Relations & Conflicts

No relations added

Expertise

SAT Solving
Present
Model checking
Present
Formal verification
Present
Formal semantics
Present
Intelligent software engineering
2014 – Present
Formal methods
2010 – Present
Model-driven engineering
2006 – Present

Publications

Co-Authors