Byron Cook
Professor of Computer Science
Contact: byroncook@gmail.com


Byron Cook is Professor of Computer Science at University College London (UCL) and Director of Automated Reasoning at Amazon Web Services. Byron's interests include computer/network security, program analysis/verification, programming languages, theorem proving, logic, hardware design, operating systems, and biological systems. Byron is the founder and leader of Amazon's Automated Reasoning Group (ARG).


Highlights and some history

Former PhD Students

Publications

Past and current projects

Press

Recorded presentations

Still want more information?

You can find out all of the details about Byron in his CV/Resume.

Cool things