Jochen Hoenicke

go next top of page

Welcome to my home page

I am a Formal Verification Wizard at Certora, where I work on proving correctness of smart constracts and developing the underlying methodology.

Previously, I worked as a Research Scientist and Teaching Assistent in the Software Engineering group of Andreas Podelski at the University of Freiburg. The main research direction included SMT solving, Craig Interpolation and Software Model Checking. I am the creator of the SMT-solver SMTInterpol.

I also worked as a freelancer for SatoshiLabs better known as the company that created the Trezor hardware wallet for cryptocurrencies.

I did my PhD at the University of Oldenburg in the group of Ernst-Rüdiger Olderog on specification languages for real-time systems.

go next top of page go back

Work Address

Photo
work address
Dr. Jochen Hoenicke
c/o coworking-freiburg
Kaiser-Joseph-Str. 254
79098 Freiburg
email
hoenicke at gmail dot com
gpg
088F 8EB2 D57A F4D6 4C40 A5EA 90AC 201D 7BFE 5D13
top of page go back

Curriculum Vitae

9/99
Master in Computer Science (Informatik-Diplom) at the University of Oldenburg
10/99 – 9/06
Research Assistant in the Correct System Design group at University of Oldenburg
7/06
Disputation
10/06 – 10/22
Postdoc at the Chair of Software Engineering, University of Freiburg
since 11/22
Senior Researcher at Certora