Petra van den Bos started as assistant professor in Twente

19-Oct-2021

Petra van den Bos started as an assistant professor at the Formal Methods & Tools group of the University of Twente. She is interested in applying formal techniques to determine the (in)correctness of software systems. In particular, her research interests include deductive verification and model-based testing.