Professor Byron Cook FREng

Director of Automated Reasoning, Amazon Web Services (AWS) and Professor of Computer Science, University College London

Byron Cook is a world-renowned leader in the field of formal verification. For over 20 years, Byron has worked to bring this field from academic hypothesis to mechanised industrial reality. Byron has made major research contributions, built influential tools, led teams that operationalised formal verification activities, and helped establish connections between others that have dramatically accelerated growth of the area.  

Byron’s tools have been applied to a wide array of topics, e.g. biological systems, cryptography, computer hardware design, networking, computer operating systems, programming languages, and security. Byron’s Automated Reasoning Group at Amazon is leading the field to even greater success.