I am a postdoctoral researcher in the ProSec group at the Department of Computer Science and Engineering at Chalmers University of Technology in Gothenburg, Sweden. I work with Andrei Sabelfeld and his group on web and mobile security, taint tracking and foundations of information-flow control.
My research interests concern formal methods and security, in particular language-based security. Concretely, I am mostly interested in (language-based) information-flow security,
web security, privacy in social networks, location privacy, semantics, program verifcation, programming languages, epistemic logics, abstract interpretation, multi-agent systems and hypervisors.
I did my PhD at KTH Royal Institute of Technology, advised by Mads Dam. I worked on information-flow analysis of low-level code, in context of the PROSPER project. I've also worked on epistemic logics and automated verification of Java bytecode programs. For further information, you can take a look at my CV .