Write a Blog >>
ICSE 2020
Wed 24 June - Thu 16 July 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 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


ICSE 2020Author of Code Level Model-Checking in the Software Development Workflow within the Software Engineering in Practice-track
Show activities from other conferences

Using general profile