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, secure multiparty computation, verified mathematical foundations, proof theory, and security protocol verification. See my research →
News
- Apr 2026: Welcoming Arthur Djevahirdjian as a three-month visitor, working on formalizing the Bochner integral and its applications in MathComp-Analysis.
- Feb 2026: Alessio Coltellacci joined my group as a postdoc on the Villum Experiment project Secure AI collaboration across Boundaries (neurosymbolic secure multiparty computation).
- Oct 2025: Awarded a Villum Experiment grant (DKK 2.11M) for Secure AI collaboration across Boundaries, integrating neurosymbolic learning with secure multiparty computation.
- 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)
- Mar 2025: Presented at PPL 2025 in Japan — poster “Developing probability theory using the Lebesgue integral in Coq”
Funded Projects
Selected highlights — see my PURE projects page for the full list.
- Neuro-Symbolic Federated Learning with Secure Multi-Party Computation — Villum Foundation (Villum Experiment), 2026–2027, DKK 2,112,618, PI.
- Training Robust Network Intrusion Detection with Differentiable Logics — DIREC (Catalyst), 2026, DKK 1,896,745, PI.
- Robust AI Algorithms for Network Intrusion Detection — National Forsvarteknologisk Center, 2024–2025, DKK 500,000, PI.
- VeriFunAI — Verified Functional Analysis for Safe AI — Carlsberg Foundation (Travel grant), 2025, DKK 89,000.
- Cybersecurity training and championships for Danish youth — De Danske Cybermesterskaber 2025–2027 (total budget DKK 11.15M) and Cyberskills youth community 2020–2024 (ITU’s share DKK 2.92M of DKK 18.51M total), both funded by Industriens Fond. I coordinate ITU’s participation.
Service & Outreach
- Head of the MSc in Computer Science programme at ITU.
- Chapter leader, OWASP Copenhagen — quarterly events on application and information security.
- Cybersecurity training for Danish youth — coordinate ITU’s involvement in De Danske Cybermesterskaber and Cyberskills, and teach binary exploitation and reverse engineering as part of the championship training programme.
- Program committees and reviewing (2025–2026): ITP 2026, FLOPS 2026, PPDP 2025, FSCD 2025, ITP 2025, IEEE TrustCom 2025, Logical Methods in Computer Science (journal).
- Organising committee: Scandinavian Logic Society Summer School 2026 (Copenhagen, 17–23 August 2026).
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.