I am an assistant professor
in the group Informatics for Technical Applications,
which is part of the Computer Science Department
of the Radboud University Nijmegen.I am an assistant professor
in the group Informatics for Technical Applications,
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 |
| Telefax: | +31 24 36 52525 |
| E-mail: | D.(my last name)@science.ru.nl |
Finding the limits of probabilistic and other quantitative model checking methods.
Winter 2008/09: Inleiding in de Kansrekening voor wiskunde, natuurkunde en informatica (zie Blackboard voor meer informatie over deze cursus). ICT infrastructuren. Wiskunde-schakelcursus. Bovendien ben ik tutor van vier eerstejaars-studenten.
Summer 2008: Systeemarchitectuur 1: processen en processoren
Winter 2007/2008: ICT Infrastructuren