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


Byron Cook is Professor of Computer Science at University College London (UCL). Byron is also a Senior Principal at Amazon. Byron's interests include program analysis/verification, security, 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.

Byron's current and past interns include: Aws Albarghouthi, Mary Boeker, Marc Brockschmidt, Hongyi Chen, Stephanie Choi, Ashutosh Gupta, Mihaela Gheorghiu, Alexey Gotsman, Christoph Haase, Zachary Kincaid, Heidy Khlaaf, Matt Lewis, Shuvendu Lahiri, Stephen Magill, Andrei Popescu, Patrick Rondon, Andrey Rybalchenko, Abigail See, Vlad Shcherbina, Jiri Simsa, Thomas Stroeder, Paul Subotic, Viktor Vafeiadis, Georg Weissenbacher, Thomas Wies, and Greta Yorsh.

History

Publications

Still want more information?

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

Projects

Press

Recorded presentations