Petra van den Bos

I work as a postdoc in the Formal Methods and Tools group of the University of Twente. My postdoc position is part of the project Maximal Reliability of Concurrent and Distributed Software (Mercedes), lead by Marieke Huisman. Before that, I had a PhD position 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 of concurrent programs using abstract models. Petra van den Bos



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