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 deductive verification and model-based testing. Petra van den Bos



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