Petra van den Bos

I work as a PhD student at the Institute for Computing and Information Sciences of the Radboud University in Nijmegen, the Netherlands. My PhD position is part of the project SUpersizing Model-BAsed Testing (SUMBAT), supported by NWO, and supervised by Jan Tretmans and Frits Vaandrager. Before that, I completed my bachelor and master Computing Science at the Radboud University.

My current research focusses on test selection techniques for model-based testing. However, I also enjoy to make a side-step to any formal methods field through collaboration with other researchers.
Petra van den Bos


Teaching assistant

  • 2015-2018 Testing Techniques (master course)
  • 2015-2017 Assertion and Argumentation (on logic & proving, 1st year course)
  • 2012-2015 Modelling and Databases (1st year course)


  • Email: petra at cs dot ru dot nl
  • Office: Mercator 1, room 1.12