Kungliga Tekniska Högskolanhttps://www.kth.se/profile/didrikl
LINDSTEDTSVÄGEN 5, PLAN 5
Doctoral student in the area of system security and formal methods, with an emphasis on the latter. Ask me about HOL4.
Hoare-Style Logic for Unstructured Programs
HOL4P4: semantics for a verified data plane (workshop paper)