GR

Grigore Rosu

Runtime Verification
1podcast episodes2026years
OFTEN APPEARS WITH
NLNathan Labenz×1EHEverett Hildenbrandt×1

Podcast appearances

1 episodes · newest first
Show titles in
20261 episodes
Cognitive Revolution "How AI Changes Everything"Oct 2026AI Code Needs Specifications: Formal Verification and Human ControlHost: Nathan Labenz · With: Everett HildenbrandtCode review & verificationAI agentsAI SafetyGuestEN