GR

Grigore Rosu

Runtime Verification
1Podcast-Folgen2026Zeitraum
OFT ZUSAMMEN MIT
NLNathan Labenz×1EHEverett Hildenbrandt×1

Podcast-Auftritte

1 Folgen · neueste zuerst
Titel auf
Titel auf Deutsch gibt es noch nicht – angezeigt wird das englische Original.
20261 Folgen
Cognitive Revolution "How AI Changes Everything"Okt. 2026AI Code Needs Specifications: Formal Verification and Human ControlModeration: Nathan Labenz · Mit: Everett HildenbrandtCode review & verificationAI agentsAI SafetyGastEN