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)

My master's thesis: Provably Sound and Secure Automatic Proving and Generation of Verification Conditions

Page responsible: Didrik Lundberg | didrikl@kth.se
Last changed: October 2021