AI:AM GUEST

Grigore Rosu

Founder, Runtime Verification

Featured episode →

APPEARANCES

One AI:AM appearance.

EPISODE 2026-10-12 · OCT 12, 2026

AI-Generated Code, Formal Verification, and Agent Security

Everett Hildenbrandt and Grigore Rosu discuss AI-generated code, Linux verification, software specifications, and the human role in agent security.

GUESTS · Everett Hildenbrandt, Grigore Rosu