Media Summary: Plenary lecture at the Federated Logic Conference, 16 July 2018 - see In this 2025 IA Summit session, Madrona Partner Jon Turow sits down Managing operational, security, and compliance data in separate silos slows troubleshooting and weakens security posture.

Byron Cook Amazon Aws Re - Detailed Analysis & Overview

Plenary lecture at the Federated Logic Conference, 16 July 2018 - see In this 2025 IA Summit session, Madrona Partner Jon Turow sits down Managing operational, security, and compliance data in separate silos slows troubleshooting and weakens security posture. Discover how to automate any business process using Just Walk Out technology transforms how people shop, leveraging computer vision and machine learning to eliminate checkout ... PSW Lecture 9:18 Friday, November 3, 2017

Photo Gallery

Byron Cook, Amazon | AWS re:Inforce 2019
Byron Cook: Neurosymbolic AI at Amazon Web Services
Byron Cook: Formal Reasoning about the Security of Amazon Web Services
Amazon re:Invent '25 Agentic AI Keynote | Byron Cook, VP, Automated Reasoning Group, AWS
Automated Reasoning to Prevent LLM Hallucination with Byron Cook - 712
Reasoning Engines: The Next Frontier in AI with Carina Hong & Byron Cook
The Great Security Update: AI ∧ Formal Methods with Kathleen Fisher of RAND & Byron Cook of AWS
AWS re:Invent 2025 - Observability & Security unite: Unify your data in Amazon CloudWatch (COP361)
AWS re:Invent 2024- Introducing automated reasoning checks in Amazon Bedrock Guardrails (AIM393-NEW)
Ask Me Anything with Byron Cook, hosted by Peter Mueller
AWS re:Invent 2025 - Automate any business process using Amazon Quick Suite (BIZ224)
AWS re:Invent 2025 - Just Walk Out by Amazon: How AI is Giving Your Lunch Break Back (BIZ201)
Sponsored
Sponsored
View Detailed Profile
Byron Cook, Amazon | AWS re:Inforce 2019

Byron Cook, Amazon | AWS re:Inforce 2019

Byron Cook

Byron Cook: Neurosymbolic AI at Amazon Web Services

Byron Cook: Neurosymbolic AI at Amazon Web Services

From November 10 to 11, Professor

Sponsored
Byron Cook: Formal Reasoning about the Security of Amazon Web Services

Byron Cook: Formal Reasoning about the Security of Amazon Web Services

Plenary lecture at the Federated Logic Conference, 16 July 2018 - see http://www.floc2018.org/speaker/

Amazon re:Invent '25 Agentic AI Keynote | Byron Cook, VP, Automated Reasoning Group, AWS

Amazon re:Invent '25 Agentic AI Keynote | Byron Cook, VP, Automated Reasoning Group, AWS

Byron Cook

Automated Reasoning to Prevent LLM Hallucination with Byron Cook - 712

Automated Reasoning to Prevent LLM Hallucination with Byron Cook - 712

Today, we'

Sponsored
Reasoning Engines: The Next Frontier in AI with Carina Hong & Byron Cook

Reasoning Engines: The Next Frontier in AI with Carina Hong & Byron Cook

In this 2025 IA Summit session, Madrona Partner Jon Turow sits down

The Great Security Update: AI ∧ Formal Methods with Kathleen Fisher of RAND & Byron Cook of AWS

The Great Security Update: AI ∧ Formal Methods with Kathleen Fisher of RAND & Byron Cook of AWS

Kathleen Fisher and

AWS re:Invent 2025 - Observability & Security unite: Unify your data in Amazon CloudWatch (COP361)

AWS re:Invent 2025 - Observability & Security unite: Unify your data in Amazon CloudWatch (COP361)

Managing operational, security, and compliance data in separate silos slows troubleshooting and weakens security posture.

AWS re:Invent 2024- Introducing automated reasoning checks in Amazon Bedrock Guardrails (AIM393-NEW)

AWS re:Invent 2024- Introducing automated reasoning checks in Amazon Bedrock Guardrails (AIM393-NEW)

AWS

Ask Me Anything with Byron Cook, hosted by Peter Mueller

Ask Me Anything with Byron Cook, hosted by Peter Mueller

Byron Cook

AWS re:Invent 2025 - Automate any business process using Amazon Quick Suite (BIZ224)

AWS re:Invent 2025 - Automate any business process using Amazon Quick Suite (BIZ224)

Discover how to automate any business process using

AWS re:Invent 2025 - Just Walk Out by Amazon: How AI is Giving Your Lunch Break Back (BIZ201)

AWS re:Invent 2025 - Just Walk Out by Amazon: How AI is Giving Your Lunch Break Back (BIZ201)

Just Walk Out technology transforms how people shop, leveraging computer vision and machine learning to eliminate checkout ...

PSW 2382 Automatically Proving That Computer Programs Do What They are Supposed to Do | Byron Cook

PSW 2382 Automatically Proving That Computer Programs Do What They are Supposed to Do | Byron Cook

PSW Lecture 9:18 Friday, November 3, 2017