Back to advisors
JH

Joe Hare

Research Assistant · School of Computing

Newcastle University · United Kingdom
formal specificationverificationsafety critical systems

About

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.

Data verified 9/6/2026Source

Student reviews

No reviews yet. Be the first to share your experience.