Contact

Martijn Hendriks
Institute for Computing and Information Sciences (ICIS),
University of Nijmegen (RUN)
Toernooiveld 1
6525 ED Nijmegen
The Netherlands

Room: A-6004
Phone: +31-24-365.27.03
E-mail: M.Hendriks@cs.ru.nl

Research

Publications can be found here.

Current interests are the following (this is a non-exhaustive list):

  1. Analysis of scheduling problems with timed automata.
  2. Design and verification of distributed algorithms.
  3. Model checking timed and probabilistic automata.

Conferences:

  1. WPDRTS'07

Projects:

  1. I have been involved in the AMETIST project.

Teaching

  1. ICT infrastructuren 2005/2006
  2. Beweren en bewijzen 2005/2006

Miscellaneous

My CV can be found here.

The Uppaal model checker can be used to solve Sudoku puzzles.