Ning Ge (Preferred)
Ning Ge
Pronouns: she/her
Full Professor, Beihang University
- Joined May 2024
Names
Emails
****@buaa.edu.cn (Confirmed)
Personal Links
Career & Education History
Full Professor
Beihang University (buaa.edu.cn)
2024 – Present
Advisors, Relations & Conflicts
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