David N. Jansen

David N. Jansen is an Associate Professor at the Institute of Software, Chinese Academy of Sciences, Beijing, China. Previously, he held an Assistant Professor position at Radboud University Nijmegen (2007–2016) and a Postdoc role at RWTH Aachen University (2007). His work bridges academic research, software development, and international collaboration.

• Education: PhD in Computer Science from University of Twente (1998–2003); Diploma in Mathematics (with minors in Computer Science and Comparative Linguistics) from University of Bern (1990–1997); Certificate of Proficiency in English from University of Cambridge (2000).

Research interests include stochastic model checking, UML extensions for probabilistic systems, Markov reward models, and formal verification of embedded systems. He has contributed to tools like MRMC and TCM, focusing on efficient data structures and lumping techniques for system validation.

Publication trends show expertise in formal methods, probabilistic verification, and equivalence relations. His work spans automated analysis of probabilistic programs, stuttering equivalence algorithms, and applications to real-world systems like the European Train Control System.

Leadership and Service: He has served on doctoral advisory boards (SIKS), supervised student projects (e.g., XML/XMI interface for TCM), and volunteered in Christian organizations. His technical skills include C, C++, UML, model checking, and database systems like MySQL.