Byron Cook
Professor of Computer Science



Byron is a professor of computer science at University College London (UCL) (joint appointment with Microsoft Research). Byron's research interests include program analysis/verification, programming languages, theorem proving, logic, hardware design, and operating systems. Byron's recent work has been focused on the development of automatic tools for proving properties of programs, especially program termination. Byron has also recently been involved in the analysis of models of biological systems.

For more information see Byron's webpage at Microsoft Research, his blog, and his CV.