David N. Jansen

Associate Professor, Institute of Software, Chinese Academy of Sciences

  • Joined March 2025

Names

David N. Jansen (Preferred)

Emails

****@ios.ac.cn (Confirmed)
,
****@tue.nl (Confirmed)

Personal Links

Career & Education History

Associate Professor
Institute of Software, Chinese Academy of Sciences (is.cas.cn)
2018 – Present
 

Advisors, Relations & Conflicts

No relations added

Expertise

model checking
Present
 
bisimulation
Present