Luke studied mathematics at Jesus College, Cambridge, graduating with a BA and MMath before completing a PhD in computer science at the University of Leeds on complexity in mathematical proofs, focusing on why some properties or theorems can be difficult to prove computationally.
With a background in formal logic, particularly computational complexity and theorem proving, he has experience in mathematical modelling and the analysis of algorithms. He has a particular interest in the application of both classical and nonclassical logics to real world systems.
Luke joined Adelard as a consultant in 2019. At Adelard, he has been part of a team assessing a number of smart devices in the nuclear industry, using a variety of V&V tools and techniques. He has also contributed to projects on autonomy and security.