Sophia Knight

LIX
Ecole Polytechnique
Palaiseau, France

Email: sophia@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 topology.

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.

Working Paper

S. Knight, C. Palamidessi, P. Panangaden and F. Valencia. Spatial distribution of information in constraint-based calculi. Technical report, LIX, Ecole Polytechnique, 2012. [pdf]

Publications

K. Chatzikokolakis, S. Knight, C, Palamidessi and P. Panangaden. Epistemic strategies and games on concurrent processes to appear in ACM Transactions on Computational Logic. [pdf]

S. Knight, R. Mardare and P. Panangaden. Combining Epistemic Logic and Hennessy-Milner Logic, to appear in Dexter Kozen's Festschrift, 2012. [pdf]

K. Chatzikokolakis, S. Knight and P. Panangaden. Epistemic Strategies and Games on Concurrent Processes. Proceedings of SOFSEM '09. [pdf]

Master's Thesis
S. Knight. Epistemic Strategies and Games on Concurrent Processes. MSc thesis, School of Computer Science, McGill University, Montréal, Québec. Accepted July 2009. [pdf]