Byron Cook -

Not registered as user yet

Name:Byron Cook

Bio:

Byron Cook is Professor of Computer Science at University College London (UCL) and Director of Automated Reasoning 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. Byron is the founder and leader of Amazon’s Automated Reasoning Group (ARG).

Country:United States

Affiliation:Amazon

Personal website:http://www0.cs.ucl.ac.uk/staff/b.cook/

Research interests:Verification, Automated Reasoning, Program analysis

Contributions

ESEC/FSE 2020	Author of Block Public Access: Trust Safety Verification of Access Control Policies within the Research Papers-track
ICSE 2020	Author of Code Level Model-Checking in the Software Development Workflow within the Software Engineering in Practice-track
PLDI 2020	Author of "Ask Me Anything" with Byron Cook within the Ask Me Anything-track
SPLASH 2018	Keynote Speaker of Reasoning about Security of Amazon Web Services within the Keynotes-track Speaker in Speakers within the SPLASH-I-track
N40AI 2017	Presenter of Abstract Interpretation in Amazon within the Next 40 years of Abstract Interpretation-track
VMCAI 2017	Committee Member in Program committee