Skip to main content

Didrik Lundberg

Profile picture of Didrik Lundberg

DOCTORAL STUDENT

Details

Address
LINDSTEDTSVÄGEN 5, PLAN 5
Room

Researcher


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