Kevin Jones is a Professor of Engineering at the University of Plymouth. His research interests include cyber-security, maritime cyber threats, hardware verification, analog verification and software development.
Jones has worked on the trustworthiness of complex systems, in one form or another, for most of his professional career. Originally, using 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, he has 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. He has covered the spectrum from pure academic research through to pragmatic hands-on industry deployment in both verification and security, and seen the benefits of both academic and industrial mindsets.
Since returning to academia, Jones has enjoyed teaching students at all levels, from 1st year undergraduates through to PhD candidates, and has been involved in shaping the teaching of computer science through academic leadership roles in the University, the BCS and the WCIT.