Congratulations to Harry Bryant!

Harry Bryant passed his MRes viva on his dissertation “Exploring the IC3 Algorithm to Improve the Siemens-Swansea Ladder Logic Verification Tool”.

Harry was supervised by Prof Markus Roggenbach and Dr Oliver Kullman. A big thank you goes to Prof Helen Treherne (Surrey University) and Dr Phil James as examiners, and Alma as chair of the committee.