My research interests lie in the areas of IT security, human-centered security, and software testing. I am particularly interested in using formal and semi-formal methods to address complex problems in IT security, such as vulnerability scanning, automated policy generation, and policy validation. I am also keen to explore the intersection of these topics with artificial intelligence and machine learning.
Furthermore, I am interested in helping human actors avoid critical errors through novel approaches, such as intuitive UI/UX design and innovative training methodologies, particularly gamification and serious games.
