Didrik Lundberg
DOKTORAND
Kungliga Tekniska Högskolanhttps://www.kth.se/profile/didrikl/
Forskare
Forskar-ID
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)