Jochen Hoenicke

Jochen Hoenicke 是 Certora 的形式驗證研究員。