“He founded the automated reasoning group at AWS over a…” — Software Engineering Daily at 0:42
“He founded the automated reasoning group at AWS over a decade ago, where his team built the foundations behind products like I Am Access Analyzer, VPC Reachability Analyzer, and Bedrock Guardrails.”
0:00
50:29