
Not registered as user yet
Name:Byron Cook
Bio:
Byron Cook is Professor of Computer Science at University College London (UCL) and Senior Principal Scientist at Amazon. Byron’s interests include computer/network security, program analysis/verification, programming languages, theorem proving, logic, hardware design, operating systems, and biological systems. See http://www0.cs.ucl.ac.uk/staff/b.cook/ for more information.
Country:United States
Affiliation:Amazon and University College London
Personal website:http://www0.cs.ucl.ac.uk/staff/b.cook/
Research interests:Verification, Automated Reasoning, Program analysis
Contributions
PLDI 2020 | "Ask Me Anything" with Byron Cook | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
PLDI 2020-profile
View general profile
View general profile