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

Publications

Co-Authors