Jochen Hoenicke
jochen-hoenicke.de
Actively hiring
Follow
Overview
News
Technologies
Salaries
Products
People
Growth
Financials
Overview
Jochen Hoenicke. I am a Formal Verification Wizard at Certora, where I work on proving correctness of smart constracts and developing theunderlying methodology.
News
Report
Report