David N. Jansen

I am an assistant professor in the group Model based system development, which is part of the Computer Science Department of the Radboud University Nijmegen.

Before my current position, I did my Ph.D. thesis at the Information Systems Group at the University of Twente and held postdoc positions at the Programming Logics Group of MPI Saarbrücken (together with Dependable Systems), the Formal Methods and Tools Group in Twente and the Software Modelling and Verification Chair of RWTH Aachen.

Office address: building Huygensgebouw, room 02.612
Heyendaalseweg 135
6525 AJ  Nijmegen
Netherlands
Postal address: afdeling Informatica, postvak 47
Postbus 9010
6500 GL  Nijmegen
Netherlands
Telephone: +31 24 36 52271
E-mail: dn(my last name)@science.ru.nl

Research interests

Finding the limits of probabilistic and other quantitative model checking methods.

Publications

Teaching

Zomer 2013: Beweren en bewijzen; fysieke en digitale architectuur; Quantitative Logics.

Winter 2012/13: Architectuur in de digitale wereld; ICT Infrastructuren; Processoren.

Personal opinions