From February 1st, Petra van den Bos has joined our team as a PostDoc under the Mercedes Project. Petra finished her PhD studies at the Institute for Computing and Information Sciences of the Radboud University in Nijmegen, the Netherlands, under the supervision of Jan Tretmans and Frits Vaandrager. During her work she focussed on topics around model-based testing. However, she also enjoys working on other topics inside formal methods and we are very happy to have her working along us and improving VerCors.