Byron Cook is a seasoned expert in neurosymbolic AI and formal reasoning, currently serving as a Professor at University College London and a Program Manager at DARPA. With prior roles as Vice President and Distinguished Scientist at Amazon Web Services and a Researcher at Microsoft Research, Byron contributed to significant advancements in program analysis and automated reasoning. Their educational background includes a Ph.D. in Computer Science from Oregon Health and Science University and a Bachelor's degree from The Evergreen State College. Additionally, Byron held a Professor position at Queen Mary University of London and has experience as a Software Engineer at Prover Technology and Microsoft.
This person is not in the org chart
This person is not in any teams
This person is not in any offices