Byron Cook
Employers on the program
- 2024–2026Amazon Web Services3 talks
Upcoming appearances
Who’s booked ahead? →Event dates shown; only events starting today or later count. 1 upcoming event.
-
AWS re:Invent 2026 – · Las Vegas, United States
- From proofs to production: Neurosymbolic AI and provable security breakout Program source ↗
No upcoming appearances are currently recorded.
The year around now
Talks in the past 12 months and announced talks ahead, one row per conference, January to December. Hover a mark for the talk.
Appearances by year
- AWS re:Invent
Talks
| Date | Event | Conference | Role | Title | Links |
|---|---|---|---|---|---|
| Nov 30, 2026 | AWS re:Invent 2026 | AWS re:Invent | breakout | From proofs to production: Neurosymbolic AI and provable security as Amazon AWS has spent a decade proving the correctness of critical infrastructure, from IAM policy evaluation to cryptographic implementations and network isolation.…Show lessAWS has spent a decade proving the correctness of critical infrastructure, from IAM policy evaluation to cryptographic implementations and network isolation. This session traces the evolution from early automated reasoning tools to today's neurosymbolic AI, where formal verification and large language models converge. | |
| Dec 1, 2025 | AWS re:Invent 2025 | AWS re:Invent | chalk talk | Neurosymbolic AI: Logic-Enhanced Neural Networks at Amazon Scale as Amazon Neurosymbolic AI combines neural networks' pattern recognition with symbolic systems' logical reasoning capabilities. This hybrid approach creates more robust,…Show lessNeurosymbolic AI combines neural networks' pattern recognition with symbolic systems' logical reasoning capabilities. This hybrid approach creates more robust, transparent, and explainable AI systems while reducing costs. | |
| Dec 2, 2024 | AWS re:Invent 2024 | AWS re:Invent | breakout | [NEW LAUNCH] Introducing automated reasoning checks in Amazon Bedrock Guardrails as Amazon AWS has launched automated reasoning (AR) checks in Amazon Bedrock Guardrails. | Video |
Frequent co-speakers
| Speaker | Shared events | Shared talks | Last together |
|---|---|---|---|
| Aaron Chen | 3 | — | 2026 |
| Aaron Sempf | 3 | — | 2026 |
| Aarthi Raju | 3 | — | 2026 |
| Abbas Mooraj | 3 | — | 2026 |
| Abhijeet Jangam | 3 | — | 2026 |
| Abhishek Pandey | 3 | — | 2026 |
| Abhishek Sharma | 3 | — | 2026 |
| Abhishek Srivastav | 3 | — | 2026 |
| Abilashkumar P C | 3 | — | 2026 |
| Adam Hill | 3 | — | 2026 |
| Adam Richter | 3 | — | 2026 |
| Addy Upreti | 3 | — | 2026 |
| Aditi Garg | 3 | — | 2026 |
| Aditya Challa | 3 | — | 2026 |
| Aditya Lolla | 3 | — | 2026 |
Speakers with the same name are merged into one entry, so this page may combine more than one person. Affiliations are shown as each conference listed them.