Where should you take your career? Corporate R&D? University research? A government sponsored lab? This talk aims to provide those just starting their career with useful thoughts on this topic (and more). The talk is based on the speaker’s 25 years experience working in the three domains.

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).