Jochen Hoenicke: Formal Verification and Programming Research
Jochen Hoenicke's personal homepage focuses on formal verification and programming research. It highlights work on proving the correctness of smart contracts, verification methods, teaching, publications, and software development. The site also notes experience at Certora, freelance work for SatoshiLabs on the Trezor hardware wallet, and PhD research on specification languages for real-time systems.
Domain: jochen-hoenicke.de
Added: 2026-05-10
55
DR · Ahrefs
#445,884
AR · Ahrefs Rank
4.76
Open Page Rank (OPR)
#412,714
Global rank
136
Referring domains
#310,975
Majestic Million (MM)
417
Referring subnets
478
Referring IPs
Data: Majestic Million © Majestic, CC BY 3.0. Ranked values are selected from the original top-million dataset.
Visit website
0 likes