Penn Engineering’s Innovation & Impact podcast features Byron Cook, Vice President and Distinguished Scientist of the Automated Reasoning Group at Amazon Web Services and Professor at University College London. Cook is a computer scientist and pioneer in automated reasoning whose work sits at the intersection of theory, software and artificial intelligence. 

In this episode, host Vijay Kumar, Nemirovsky Family Dean of Penn Engineering and Professor in Mechanical Engineering and Applied Mechanics, sits down with Cook to explore how advances in AI are reshaping the way we build, verify and interact with computational systems.

The conversation examines the evolving relationship between people and intelligent machines, from the challenges of ensuring that increasingly autonomous systems behave as intended to the ways AI is changing software development and problem-solving. Cook also reflects on how research evolves alongside technology and why connecting fundamental ideas with real-world problems can lead to unexpected discoveries.

Listen to a wide-ranging conversation about automated reasoning, AI and the changing landscape of computer science, as Cook considers both the possibilities and questions that emerge as these technologies become increasingly capable.

Subscribe to Penn Engineering’s Innovation & Impact podcast on Apple Music, Spotify or your favorite listening platforms, or find all the episodes on our Penn Engineering YouTube channel.