Joe Hare

Research Assistant · School of Computing

formal specificationverificationsafety critical systems

简介

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.

数据校验于 9/6/2026数据来源

学生评价

还没有评价。成为第一位分享经验的学生吧。