| Please note: I have moved to the MOVES group at the RWTH Aachen. The information on this page represents my status as of end 2006. For more recent information, please consult my new webpage at the MOVES group. |
| In the meantime, I moved on to the Radboud University Nijmegen. Please have a look at my webpage there or at my personal webpage. |
David N. Jansen
Formal Methods and Tools Group
Department of Computer Science
Faculty of Electrical Engineering, Mathematics, and Computer Science
University of Twente
Postbus 217
7500 AE Enschede
Netherlands
Phone: +31 53 489 42 87
Fax: +31 53 489 32 47
E-mail: dnjansen, then the obvious separator, then cs.utwente.nl
Homepage: http://www.cs.utwente.nl/~dnjansen/
Office: Zilverling 5031
I am a postdoctoral researcher in the Formal Methods and Tools group. My research interests include probabilistic and stochastic model checking. A longer curriculum vitae