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.
| 