This is a personal webpage. More information.
Didrik Lundberg |
 |
Birth date: |
03 Aug 1990 |
Length: |
183 cm |
Hair color: |
Dark blonde |
Eye color: |
Blue |
Strengths: |
Intermediate-level player of "Go Fish" |
Weaknesses: |
None known |

|
You might have seen me:
- Giving a lightning talk at the CASTOR Software Days 2019
- Attending the VTSA Summer School of 2019
- Volunteering at the EuroS&P 2019 conference in Stockholm
- Attending the CySeP Summer School of 2019
- Presenting research on unstructured program logics at SEFM 2020 (pre-copyedit version of paper here)
- Attending conferences remotely during the pandemic era: PLDI, POPL, ...
- Presenting a follow-up paper to the below on symbolic execution at VSTTE 2024
- Presenting the HOL4P4 formalisation of the P4 language at OOPSLA 2024
My master's thesis: Provably Sound and Secure Automatic Proving and Generation of Verification Conditions
Page responsible: Didrik Lundberg | didrikl@kth.se
Last changed: December 2024