I am interested in the human and social side of cyber security and its implications to user privacy. My research interests lie within the intersection of AI, cyber security, and requirements engineering. I use my background in formal logic-based knowledge representation and reasoning to solve security and privacy problems regarding socio-technical systems.
I belong to the following research groups:
Additional material about my research and other useful links: