Willard Rafnsson is an Associate Professor in the Center for Information Security and Trust (CISAT) at the IT University of Copenhagen (ITU). His research builds foundations for computer security by advancing techniques from programming-language theory and formal methods, such as program analysis and program transformation. He is principal investigator (PI) of a cybersecurity research project funded by the Danish National Defense Technology Centre (NFC) research pilot program, and has been involed in several EU projects on
cybersecurity.