Jochen Hoenicke
Welcome to my home page
Welcome to my space in the web. I am senior researcher at Certora.
Work Address
- work address
-
Dr. Jochen Hoenicke
c/o coworking-freiburg
Kaiser-Joseph-Str. 254
79098 Freiburg - hoenicke at gmail dot com
- gpg
- 088F 8EB2 D57A F4D6 4C40 A5EA 90AC 201D 7BFE 5D13
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