Our team member Petra van den Bos started as an assistant professor at the our group! 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.