My research develops formal logic-based methods to model and verify manipulation and deception in communication, with applications in cybersecurity and social engineering.
My current research focuses on developing formal, logic-based methods for modeling and verifying manipulation, deception, and influence in communication, with applications in areas such as social engineering and cybersecurity. I use approaches including Answer Set Programming (ASP), Formal Argumentation, and Description Logic (DL) to represent and reason about mental states, belief change, and dialogue strategies.