Ken's research interests are in the areas of secure and dependable systems, fault tolerance, formal methods, and autonomous systems.
Ken's research interests are in the areas of secure and dependable systems, fault tolerance, formal methods, and autonomous systems. His homepage is here.
Cyber-Physical Systems Lab
Newcastle University, Newcastle upon Tyne NE1 7RU, United Kingdom.