I am Associate Professor in Computer Security at the IT-University of Copenhagen, affiliated with the Center for Information Security and Trust. My research focuses on formal methods, logics, protocol verification, and model checking — including formal verification of security protocols and machine learning systems.
Looking for a thesis project? I’m recruiting bachelor and master students for paid thesis projects in the DIREC-funded project Robust Network Intrusion Detection. Topics span datasets, formal verification, differentiable logics, and privacy-preserving ML. Find out more →
My current work spans neurosymbolic AI, verified mathematical foundations, proof theory, and security protocol verification. See my research →
News
- Sep 2025: Presented “Formalizing concentration inequalities in Rocq” at ITP 2025 — PDF slides
- Sep 2025: Program Committee of PPDP 2025
- May 2025: Media appearance: Nyt EU-direktiv er godt nyt for vores cyberforsvar og for etiske hackere (Finans)
- Jan 2025: Presented at PPL 2025 — poster on “Developing Probability Theory Using the Lebesgue Integral in Rocq”
Background
Previously, I worked as a Postdoc in Carsten Schurmann’s group at ITU, on the Meta-CLF project. I obtained my Ph.D. at the Technical University of Denmark under supervision of Flemming Nielson and Hanne Riis Nielson, and did my B.Sc. and M.Sc. at the University of Padova, Italy under supervision of Paolo Baldan.