I have been learning and enjoying my research work as a member of the CPS group for the last 15 years; I am enthusiastic about safety modelling and verification in cyber-physical systems and autonomous systems. I also developed public engagement activities to engage children in the mathematics behind the safety formal models.
Senior Research Fellow