Jeremy Bryans

Jeremy Bryans is a Research Fellow in Automotive Cybersecurity in the Centre for Mobility and Transport. He specialises in the use of formal methods. Previously he worked at Newcastle Univeristy, where he was involved in large EU research projects on model-based techniques. One looked at developing and maintaining Systems of Systems (SoS) and one was designed to support small and medium-sized businesses that engineer or operate dependable cyber-physical systems. He specialises in formal methods, and designed and led an internally funded project on the sustainability of smart grid communications infrastructure. Prior to that he designed and led a EPSRC/DSTL-funded project on the secure transmission of provenance metadata in dynamic coalitions. He is a member of the BCS (MBCS), INCOSE (The International Council on Systems Engineering) and a guest member of Newcastle University.

He has been on the program committee of several conferences, and has over 50 publications.

Area of Expertise:

Formal verification in software and system design

Automotive Cybersecurity; Systems of Systems; Formal Verification

I am currently a Research Fellow in the Centre for Mobility and Transport at Coventry University. In my research I seek to answer the questions: how can we build secure systems, and how can we demonstrate that they are secure? Within the Centre I sepcialise in issues of automotive cyber-security. I have substantial experience in developing and applying formal verification methods and techniques to problems of security, dependability and resilience within large systems including socio-technical systems, systems of systems and cyber-physical systems.