Prof. Dr. Byron Cook, FREng
Contact: byroncook@gmail.com


Byron Cook is Professor of Computer Science at University College London (UCL). Byron is also Vice President and Distinguished Scientist at Amazon and AWS. Byron's interests include computer/network security, program analysis/verification, programming languages, theorem proving, logic, hardware design, operating systems, and biological systems.

Highlights and some history

Publications

Past and current projects

Press

Recorded presentations

PhD dissertation

Still want more information?

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

Tweets by byroncook