Write a Blog >>
PLDI 2020
Mon 15 - Fri 19 June 2020
Byron Cook

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


PLDI 2020Author of "Ask Me Anything" with Byron Cook within the Ask Me Anything-track
Show activities from other conferences

PLDI 2020-profile
View general profile