Jeremy's area of research broadly includes the security and dependability socio-technical systems. He has a background in formal methods.
Jeremy's area of research broadly includes the security and dependability socio-technical systems. He has a background in formal methods. His homepage is here.
Cyber-Physical Systems Lab
Newcastle University, Newcastle upon Tyne NE1 7RU, United Kingdom.