Our special guest for this session will be Byron Cook from Amazon and University College London.

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.