Staff Profile
Background
I am a Research Assistant in the School of Computing at Newcastle University. My main interest is in formal specification and verification of safety critical systems.
Since 2025, I have been involved in the PlaTFoRm project.