Jasper Berendsen - CV

Currently I'm a junior researcher (PhD student) with Frits Vaandrager in the group Model Based System Development at the Radboud University Nijmegen

Research Interests

  • Development of the tool Fortuna!
  • model checking
  • model checking of priced probabilistic timed automata (PPTAs)
  • real-time probabilistic model checking
  • compositional reasoning
picture of Jasper Berendsen

Publications to be included in my PhD thesis

Other publications