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.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 |
Finding the limits of probabilistic and other quantitative model checking methods.
Zomer 2013: Beweren en bewijzen; fysieke en digitale architectuur; Quantitative Logics.
Winter 2012/13: Architectuur in de digitale wereld; ICT Infrastructuren; Processoren.