Didrik Lundberg
Doktorand
Kungliga Tekniska Högskolanhttps://www.kth.se/profile/didrikl
Forskare
Om mig
Doktorand inom systemsäkerhet och formella metoder.
Publikationer i urval:
Hoare-Style Logic for Unstructured Programs
HOL4P4: semantics for a verified data plane (workshop paper)