Skip to content

“So one choice we made when I started the automated…” — Software Engineering Daily at 21:58

Software Engineering Daily Formal Methods as Agent Guardrails

“So one choice we made when I started the automated reasoning group. I remember I was like Ken McMillan as a not assigned to some of my space.”

0:00 50:29