Didrik Lundberg

Doctoral student in the area of system security and formal methods, with an emphasis on the latter. Ask me about HOL4.

Selected publications:

Hoare-Style Logic for Unstructured Programs

HOL4P4: Mechanized Small-Step Semantics for P4

Proof-Producing Symbolic Execution for P4