PhD Thesis Information
Email: sophia at lix.polytechnique.fr
I am a PhD student at LIX at Ecole Polytechnique. My supervisors are Frank Valencia and Catuscia Palamidessi. I am in the COMETE team. I am funded by INRIA. I am working to analyse the flow of information between interacting agents, particularly in security applications such as anonymity protocols. I have studied this problem from various perspectives: modal (epistemic) logic, process algebra, and games.
I am currently working on epistemic and spatial process calculi for reasoning about knowledge or spatial information distributed among the agents of a system. I am adding modal operators to constraint-based calculi in order to reason about knowledge and information flow among agents in a distributed system. I am also investigating the connections between this work and topological and sheaf-theoretic models of modal logics, as well as the connections with coalgebraic structures.
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. I also worked on developing an epistemic temporal logic.