Professor Kevin Jones

Professor Kevin Jones

Executive Dean

Faculty of Science and Engineering


Executive Dean, Faculty of Science and Engineering


PhD University of Manchester
MSc University of Oxford
BSc University of Reading

Professional membership

Fellow of BCS
Fellow of the IET
Senior Member of ACM
Senior member of IEEE
Full member of IISP

Roles on external bodies

Trustee and Board Member, Engineering Council
Member of UKCRC
Member of CPHC
Chair of UKCRC Membership Committee
Member of EPSRC College
Member of BCS Membership Committee
Fellowship Assessor for BCS
Member of BCS Learning and Development SIG
Assessor for Chartered Engineer, Chartered Scientist, Chartered Information Technology Professional
Member of IAAC/GCHQ Academic Liaison Panel
Liveryman of the Worshipful Company of Information Technologists
Member of WCIT Security Panel
Member of WCIT Education and Training Panel
Member of the Board of the Plymouth Science Park
Member of the Board of Governors of Plymouth UTC
Chair, Plymouth STEM Board
Director of University of Plymouth Enterprise Limited

Teaching interests

SEC301/501 Information Security Management

SEC303HK Intrusion Analysis and Incident Management

Research interests

  • Trustworthiness of Complex Systems
  • Cyber-security
  • Maritime Cyber Threats
  • Hardware verification
  • Analog verification
  • Software development
  • Formal methods
  • CAD tools

Key publications are highlighted

Tam K & Jones K 2019 'MaCRA: A Model- Based Framework for Maritime Cyber-Risk Assessment' Wmu Journal of Maritime Affairs , DOI PEARL
Tam K & Jones K 2018 'Maritime cybersecurity policy: the scope and impact of evolving technology on international shipping' Journal of Cyber Policy 3, (2) , DOI PEARL
Asad HU & Jones KD 2016 'Verifying Inevitability of Oscillation in Ring Oscillators Using the Deductive SOS-QE Approach' IEEE Design & Test 33, (5) 35-43 , DOI PEARL
Jones KD, Tam K & Papadaki M 2016 'Threats and Impacts in Maritime Cyber Security' Engineering & Technology Reference Publisher Site PEARL
Kim J, Jones KD & Horowitz MA 2010 'Fast, Non-Monte-Carlo Estimation of Transient Performance Variation Due to Device Mismatch' IEEE Transactions on Circuits and Systems I: Regular Papers 57, (7) 1746-1755 , DOI
Jones KD, Konrad V & Nickovic D 2009 'Analog property checkers: a DDR2 case study' Formal Methods in System Design 36, (2) 114-130 , DOI
Conference Papers
Asad HU & Jones KD 2015 'Verifying inevitability of phase-locking in a charge pump phase lock loop using sum of squares programming' 52nd Design Automation Conference San Fransico, California 07/06/2015 11/06/2015 ACM / EDAC / IEEE Publisher Site , DOI
Asad HU & Jones K 2015 'Inevitability of Phase-locking in a Charge Pump Phase Lock Loop using Deductive Verification' Great Lakes Symposium on VLSI '15 Pittsburgh, USA 20/05/2015 22/05/2015 ACM 295-300 Publisher Site , DOI
Asad HU, Jones K & Surre F 2014 'Verifying robust frequency domain properties of non linear oscillators using SMT' 17th Symposium on Design & Diagnostics of Electronic Circuits & Systems Warsaw, Poland. 23/04/2014 25/04/2014 IEEE 306-309 Publisher Site , DOI
Jones KD & Salako K 2013 'Modeling security policy and the effect for end-users' 256-265 , DOI
Sheffler TJ, Mossawir KM & Jones KD 2007 'PHY verification - Still an open problem' 714-731
Kim J, Jones KD & Horowitz MA 2007 'Variable domain transformation for linear PAC analysis of mixed-signal systems' 2007 IEEE/ACM International Conference on Computer-Aided Design 04/11/2007 08/11/2007 IEEE , DOI
Kim J, Jones KD & Horowitz MA 2007 'Fast, Non-Monte-Carlo Estimation of Transient Performance Variation Due to Device Mismatch' 2007 44th ACM/IEEE Design Automation Conference 04/06/2007 08/06/2007 IEEE , DOI
Jones KD 1987 'A formal semantics for a DataFlow Machine — Using VDM' Springer Berlin Heidelberg 331-355 , DOI
Jones KD 1987 'Support environments for VDM' Springer Berlin Heidelberg 110-117 , DOI
Tam K & Jones K 0 'Cyber-Risk Assessment for Autonomous Ships' Cyber Security Glasgow 11/06/2018 12/06/2018 PEARL
Jones KD & Privitera JP 0 'The automatic generation of functional test vectors for Rambus designs' 33rd Design Automation Conference ACM , DOI

Additional information

I've worked on trustworthiness of complex systems, in one form or another, for most of my professional career. 

Originally, formal methods and proof in the context of software development.  Then many years in hardware verification, both pragmatic and theoretical, ranging from pre-tapeout verification of high volume silicon designs through to novel approaches to the formal verification of analog circuits.
More recently, I've been working in the areas of cyber-security, with an interest in quantitative approaches to security and a very specific focus on security in the maritime domain. 

I've covered the spectrum from pure academic research through to pragmatic hands on industry deployment in both verification and security, and see the benefits of both academic and industrial mindsets.

In recent years, I've spent a lot of time working with extraordinary individuals and building and managing some great teams capable of amazing results. Team building, managing, mentoring and teaching with people at various levels of experience has been a very satisfying addition to the technical work and has allowed us collectively to achieve far more than any of us could have managed singularly. 

Since returning to academia, I have enjoyed teaching students at all levels, from 1st year UG through PhD, and have been very involved in shaping the teaching of Computer Science through academic leadership roles in the University, the BCS and the WCIT.

Specialties: Cyber-security, Hardware verification; Software development; Formal methods; CAD tools; Analog verification; R&D; Leadership; Management