- Address: South Fourth Street 4#, Zhong Guan Cun
- email: dnjansen###ios**ac*cn
David N. Jansen has been visiting ISCAS since 2013 and works at ISCAS since 2016. He currently is an Associate Professor in the Probabilistic Model Checking Team. Before, he worked as an Assistant Professor at the Radboud University in Nijmegen, The Netherlands.
David N. Jansen’s research revolves around probabilistic model checking and (bi)simulation relations. His recent publications are available here.