GR

Grigore Rosu

Runtime Verification
1episodios de pódcast2026años
APARECE A MENUDO CON
NLNathan Labenz×1EHEverett Hildenbrandt×1

Apariciones en pódcasts

1 episodios · más recientes primero
Títulos en
Aún no hay títulos en español; se muestran los originales en inglés.
20261 episodios
Cognitive Revolution "How AI Changes Everything"oct 2026AI Code Needs Specifications: Formal Verification and Human ControlPresenta: Nathan Labenz · Con: Everett HildenbrandtCode review & verificationAI agentsAI SafetyInvitadoEN