Everett Hildenbrandt 是 Runtime Verification 的CEO。本期与 Grigore Roșu 共同讨论形式化验证与 AI 编码安全实践。
Everett Hildenbrandt is affiliated with Runtime Verification (CEO). Joins Grigore Roșu in this episode to discuss formal verification and AI coding safety practices.
介绍来源
原发布方节目与人物署名 · 核对于 2026-10-18。依据原节目发布时的介绍。
