I research the relationship between knowledge, communication, information flow, and interaction in dynamic multi-agent systems, using tools from concurrency theory and epistemic logic. I apply these ideas to problems in social networks and other multi-user online systems with personal data, as well as to security problems. I have studied these problems from several perspectives: various modal logics with an epistemic focus, process algebra, games, and topological models. I am currently working on a logic for analyzing the effects of asynchronous communication on knowledge as well as an epistemic version of strategy logic for modelling agents' abilities and knowledge under uncertainty. I am also developing a constraint programming language with modal information, in order to reason about knowledge and information flow among agents in a distributed system. Finally, with Aybüke Özgün I have worked on topological semantics for dynamic epistemic logics.

From 2016 to 2018, I was a postdoctoral researcher at Uppsala University in the Concurrency group. From 2013 to 2016, I was a postdoctoral researcher at LORIA at Université de Lorraine, in Hans van Ditmarsch's CELLO team.

I received my PhD in 2013 from LIX at Ecole Polytechnique. My supervisors were Frank Valencia and Catuscia Palamidessi. I was in the COMETE team. My dissertation analysed the flow of information between interacting agents, using game semantics, modal logic, and process calculus.

I received my Master's degree from McGill University's School of Computer Science in 2009. My supervisor was Prakash Panangaden. I was in the Reasoning and Learning Laboratory. My thesis was about a game semantics for a process algebra modelling information flow between agents in anonymity protocols.