Projects per year
Overview
Profile summary
Deputy Vice-Chancellor, Research & Innovation
Founder, Maritime Cyber Threats Research Group
Roles on external bodies
Chair of UKCRC Executive Committee
Member of CPHC
Member of EPSRC College
Chair of University of Plymouth Sustainability Advisory Group
Chair of University of Plymouth Security Advisory Group
Member of WCIT Security Panel
Member of WCIT Education and Training Panel
Member of the Board of the Plymouth Science Park
Chair of University of Plymouth Enterprise Limited
Member of University of Plymouth Board of Govenors
Member of EC/RAEng Ethics Group
Former Roles:
Chair, Plymouth STEM Board
Fellowship Assessor for BCS
Assessor for Chartered Engineer, Chartered Scientist, Chartered Information Technology Professional
Trustee and Board Member, Engineering Council
Liveryman of the Worshipful Company of Information Technologists
Member of BCS Academy Board
Member of IAAC/GCHQ Academic Liaison Panel
Professional memberships
Fellow of BCS
Fellow of the IET
Fellow of the IMarEST
Senior Member of ACM
Senior member of IEEE
Full member of IISP
Supervised research degrees
Currently supervising 5 PhD students
Teaching interests
Applied cyber-security
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
Expertise related to UN Sustainable Development Goals
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):
Academic qualifications
PhD , University of Manchester
MSc, University of Oxford
BSc , University of Reading
Fingerprint
- 1 Similar Profiles
Collaborations and top research areas from the last five years
-
Cyber-SHIP
Tam, K. (CoI - Co-Investigator), Jones, K. (PI - Principal Investigator), Vineetha Harish, A. (RA - Research Assistant), Andrews, W. (PI - Principal Investigator) & Christison, L. (PI - Principal Investigator)
31/12/19 → 30/04/24
Project: Research
-
MaCRA (Cyber ASAP)
Tam, K. (CoI - Co-Investigator) & Jones, K. (PI - Principal Investigator)
1/04/20 → 1/04/22
Project: Research
-
The Cyber-Resilience of Offshore Wind Networks - CROWN
Jones, K. (PI - Principal Investigator) & Tam, K. (CoI - Co-Investigator)
The Heart of the South West (HotSW) LEP
1/09/23 → 1/06/25
Project: Research
-
Maritime Cyber Risk Assessment Framework (MaCRA)
Jones, K. (CoI - Co-Investigator), Forshaw, K. (PI - Principal Investigator) & Tam, K. (CoI - Co-Investigator)
23/09/20 → 31/03/22
Project: Research
-
Cyber preparedness actions for a holistic approach and awareness raising in the MARitime logistics supply chain
Jones, K. (PI - Principal Investigator), Tam, K. (CoI - Co-Investigator), Hopcraft, R. (RF - Research Fellow), Moara-Nkwe, K. (RF - Research Fellow) & Palbar Misas, J. (PI - Principal Investigator)
1/01/19 → 31/03/23
Project: Research
Research output
-
MaCRA: a model-based framework for maritime cyber-risk assessment
Tam, K. & Jones, K., 6 Mar 2019, In: WMU Journal of Maritime Affairs. 18, 1, p. 129-163 35 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile30 Downloads (Pure) -
mural: A Formal Development Support System
Jones, C., Jones, K., Lindsay, P. & Moore, R. D., 6 Dec 2012, Springer Science + Business Media.Research output: Book/Report › Book › peer-review
-
High Impact Malware Targeting Maritime Infrastructure
Jones, K. & Tam, K., 4 Sept 2024, The Practice of Formal Methods: Essays in Honour of Cliff Jones, Part I. Cavalcanti, A. & Baxter, J. (eds.). Springer Nature, Vol. 1. (Lecture Notes in Computer Science).Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings published in a book › peer-review
Open AccessFile5 Downloads (Pure) -
Quantifying the econometric loss of a cyber-physical attack on a seaport
Tam, K., Chang, B., Hopcraft, R., Moara-Nkwe, K. & Jones, K., 23 Jan 2023, In: Frontiers in Computer Science. 4, 0Research output: Contribution to journal › Article › peer-review
Open AccessFile18 Downloads (Pure) -
Case Study of a Cyber-Physical Attack Affecting Port and Ship Operational Safety
Tam, K., Hopcraft, R., Moara-Nkwe, K., Misas, J., Andrews, W., Harish, A. V., Giménez, P., Crichton, T. & Jones, K., 6 Dec 2021, In: Journal of Transportation Technologies. 12, p. 1-27Research output: Contribution to journal › Article › peer-review
Open AccessFile34 Downloads (Pure)