Petra van den Bos

I work as an assistant professor in the Formal Methods and Tools group of the University of Twente. Before that, I had a postdoc position in the project Maximal Reliability of Concurrent and Distributed Software (Mercedes), lead by Marieke Huisman. I did my PhD at the Radboud University in the project SUpersizing Model-BAsed Testing (SUMBAT) with Jan Tretmans and Frits Vaandrager. My current research focusses on software correctness and software quality in general, and on deductive verification and model-based testing specifically. Petra van den Bos


Current teaching tasks

  • Master course Programming Principles, Patterns and Processes (Software Engineering)
  • Master course Industrial Software Engineering Project
  • Bachelor study unit Programming for Creative Technology
  • Programme mentor for the Software Technology specialisation of the Computer Science master


  • Email: p dot vandenbos at utwente dot nl
  • Office: Zilverling 3078