Willard Rafnsson

Willard Rafnsson is an Associate Professor in Programming Logic and Semantics at IT University of Copenhagen. His research develops formal methods for security and privacy, particularly probabilistic programming approaches for quantifying privacy risks.

Research investigates privacy risk assessment methodologies, attacker knowledge modeling, and formal verification techniques. Recent work examines privacy vulnerabilities in genetic data and develops tools for leakage quantification.

Rafnsson leads projects on practical static analysis and reliable AI for autonomous systems, focusing on security foundations.