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


Byron Cook is Professor of Computer Science at University College London (UCL) and Director 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. At Amazon Byron leads a research group focused on formal/constraint-based tools for reasoning about cloud-computing security.

Students

Current PhD student: Paul Subotic

Former PhD students: Alexey Gotsman, Eric Koskinen, Heidy Khlaaf and Kaustubh Nimkar.

Highlights

Publications

Still want more information?

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

Projects

Press

Recorded presentations

Cool things