Professor Kevin Jones
Current Position: Professor of Dependability and Security of Socio-Technical Systems
Background: Kevin Jones is Professor of Dependability and Security of Socio-Technical Systems, at the Center for Software Reliability at City University, London. His research interests cover practical and theoretical approaches for establishing the correctness and security of complex and heterogeneous systems.
Over the last 25 years, he has worked on many aspects of correctness, in both software and hardware, ranging from formal approaches through to practical issues of testing in industrial environments. His recent work has focused on systems that cross domains, such as analog and digital systems.
Prior to joining CSR, Kevin spent a number of years in the Silicon Valley in CA, holding executive, managerial, technical and research positions, in both successful start up companies and major corporations. He has been responsible for development and validation of hardware and software for high speed and low power applications. He has held positions where he was responsible for availability and security of various internal and customer delivery solutions, using existing and custom tools. He has also worked in academia, in the area of formal methods and verification support tools, including RAVS, Larch, VDM and the MuRAL project within the IPSE 2.5 Alvey project.
This has lead to an interest in a wide range of aspects of solution development, validation and security of software and hardware systems. He serves on a number of advisory boards in the areas of Electronic Design Automation and Information Assurance, and is still involved with start up companies in the Silicon Valley.
His current research interests are focused in 3 main areas:
- Formal and pragmatic approaches to correctness of complex systems, particularly AMS hardware and other kinds of "hybrid systems";
- Formal models and tools with applicability to the security domain, particularly quantitative techniques applied to system level issues;
- Digital control of power applications, particularly the use of communication to change the system level efficiency of power use.
As an academic, Kevin believes teaching is a vital part of the mission and he tries to stay involved with both undergraduates and postgraduates. He is the Course Director for the M.Sc. in Information Security and Risk, teaches a module on Formal Methods and introduces Part 1 students to hardware in Systems Architecture.
Kevin holds a Ph.D. in Computing Science from the University of Manchester, a M.Sc. in Computation from Oxford University and a B.Sc. in Computer Science from the University of Reading. He is a Fellow of the BCS, a member of the ACM, a senior member of the IEEE and is an inventor on more than 10 patents.
Kevin's full list of research papers and abstracts / full texts
- Contact Details:
- Tel: 020 7040 0161 (from UK), or +44 20 7040 0161 (outside UK)
- Fax: 020 7040 8585 (from UK), or +44 20 7040 8585 (outside UK)
-
E-mail: Kevin.Jones.1@city.ac.uk