Position: Senior Consultant
Sam obtained his BA at Peterhouse, Cambridge, graduating with first class honours in Social and Political Sciences. While subsequently studying law, he developed a growing interest in fault tolerant computing and formally proved code, going on to complete an MSc in computer science at the University of Bristol. This was followed by a PhD, funded by a University of Bristol Centenary Scholarship, entitled "Design, formalization and realization of Harmonic Box Coordination Language: an externally timed specification substrate for arbitrarily reliable distributed systems.
Sam is interested in the scrutiny of upper bounds of confidence in formal methods and tools, and in developing the integrity levels obtainable with computerized control systems. He has a particular interest in the meaning of correctness and logical incompleteness, and enjoys bringing concepts from foundational philosophies of logic and computer science to bear on practical problems.
Sam joined Adelard in December 2014.