University College London and Amazon

Byron Cook is Professor of Computer Science at University College London: his research interests include logic, formal methods and programming languages. Byron obtained his PhD from Oregon Graduate Institute in 2002 where he developed a programming language for describing microprocessors. After his PhD Byron worked at Power Technology where he investigated new algorithms for use in SAT solvers. During 2002-2004 Byron was a software developer in the Microsoft Windows OS kernel team. Byron was a researcher at Microsoft Research (joint appointment with UCL) from 2004-2014. He has also held academic positions at Queen Mary University of London, Carnegie Mellon and Chalmers University.

Byron’s work has engendered media coverage in 2DNet, Nature, Science, Wired and the Financial Times. Byron has delivered numerous high-profile keynote talks at major research conferences, he has addressed the Royal Society and has over eighty scientific publications.