Didrik Lundberg
Kungliga Tekniska Högskolanhttps://www.kth.se/profile/didrikl
Researcher
Researcher ID
About me
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