Min forskning utvecklar formella metoder för att verifiera manipulation i digital kommunikation, med tillämpningar inom cybersäkerhet och social engineering.
Min nuvarande forskning fokuserar på att utveckla formella, logikbaserade metoder för att modellera och verifiera manipulation and missinformation i digital kommunikation, med tillämpningar inom bland annat social engineering och cybersäkerhet. Jag använder metoder som Answer Set Programming (ASP), Formell Argumentation för att representera mentala tillstånd, beteendeförändring och dialogstrategier. Arbetet syftar till att ta fram rigorösa verktyg för att upptäcka, förebygga, och förklara manipulation i mänskliga interaktioner.