Jochen Hoenicke: Formal Verification and Programming Research favicon

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 · Updated: 2026-05-10

Visit website
Research publications programming smart contracts phd teaching formal verification formal methods real-time systems

Similar websites

JetBrains Developer Tools and Programming Software favicon JetBrains Developer Tools and Programming Software Papers Reference Manager for Research and Citations favicon Papers Reference Manager for Research and Citations Apache Software Foundation favicon Apache Software Foundation
ButtonPusher Free Developer Utilities favicon ButtonPusher Free Developer Utilities FAR Manager File and Archive Management Software favicon FAR Manager File and Archive Management Software FileZilla FTP and SFTP File Transfer Software favicon FileZilla FTP and SFTP File Transfer Software