Byron Cook
Professor of Computer Science

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.



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.



Still want more information?

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



Recorded presentations