Luke Hinde

Luke Hinde

Position: Senior Consultant


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 in 2019. He has experience in the assessment and justification of software-based systems, particularly in the nuclear industry. This has included the development of an approach to the justification of smart devices, assessments of I&C systems using a number of international standards, and static analysis of safety-critical software. Luke has also worked on projects developing assurance cases for autonomous systems, with a focus on determining the reliability of machine learning algorithms, and cybersecurity.

Luke is a member of the British Computer Society.

   Back to all staff