Jun Niu

Associate Professor, computer science, Ningbo University

  • Joined May 2025

Names

Jun Niu (Preferred)

Emails

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

Personal Links

Career & Education History

Associate Professor
computer science, Ningbo University (nbu.edu.cn)
2012 – Present
 

Advisors, Relations & Conflicts

No relations added

Expertise

spatial model checking, formal methods, software engineering, code generation
Present
 
knowledge graph
Present