Mike Miller with AWS on How Automated Reasoning Makes AI Systems Trustworthy

Guests: Mike Miller

Hosts: Mike Vizard

Category: AI Leadership Insights

Date: January 26, 2026

In this Techstrong.ai Leadership Insights interview, Mike Miller, director of product management at AWS, explains how automated reasoning—grounded in centuries-old logic and mathematics—can improve the trustworthiness, reliability, and correctness of modern artificial intelligence systems and applications.

Share

artificial intelligence automated reasoning AWS logic and mathematics

More from AI Leadership Insights

AI Agent Governance Starts With Visibility and Access Control

AI Agent Governance Starts With Visibility and Access Control

OCT 12 · Ofer Klein

AI Agent Governance Moves to the Center of Enterprise IT

AI Agent Governance Moves to the Center of Enterprise IT

OCT 5 · Steve Lucas

Enterprise AI Success Depends on Readiness, Not Just Tools

Enterprise AI Success Depends on Readiness, Not Just Tools

OCT 1 · Rick Ross

Voice AI Needs Specialized Models, Not Just Bigger Ones

Voice AI Needs Specialized Models, Not Just Bigger Ones

SEP 30 · Will Bodewes

Physical AI Needs Operational Context, Not Just Robots

Physical AI Needs Operational Context, Not Just Robots

SEP 28 · Sudhanshu Gaur

AI ROI Demands Better Business Case Discipline

AI ROI Demands Better Business Case Discipline

SEP 9 · Nithin Mummaneni