BCTCS 2021

Speaker

Federico Vastarini

My name is Federico Vastarini, I hold a MSc in Information Security from the University of Salerno and I’m currently working towards my PhD in Property-Based Testing of Graph Programs at the University of York under the supervision of Professor Detlef Plump.

 Overview