Didrik Lundberg

Didrik Lundberg is a Researcher at the Department of Theoretical Computer Science within the School of Electrical Engineering and Computer Science at Royal Institute of Technology. His work focuses on system security and formal methods, particularly in mechanized reasoning for the P4 programming language.

Key research areas include formal verification, network security, and program logic, as evidenced by his publications on HOL4P4, symbolic execution, and unstructured program logics. He has presented at international conferences such as SEFM 2020, OOPSLA 2024, and VSTTE 2024.

His peer-reviewed articles and conference contributions span topics like P4 semantics, data plane verification, and Hoare-style logic for unstructured programs. He also authored a master's thesis titled Provably Sound and Secure Automatic Proving and Generation of Verification Conditions (2018).