Sophia Knight

Now my website is here.

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.

Publications
  • S. Knight, C. Palamidessi, P. Panangaden and F. Valencia. Spatial and Epistemic Modalities in Constraint-Based Process Calculi. Proceedings of CONCUR '12, Springer, LNCS 7454, pp. 317-332, 2012. [pdf]

  • K. Chatzikokolakis, S. Knight, C. Palamidessi and P. Panangaden. Epistemic Strategies and Games on Concurrent Processes. ACM Transactions on Computational Logic, 13(4): 28:1-28:35, 2012. [pdf]

  • S. Knight, R. Mardare and P. Panangaden. Combining Epistemic Logic and Hennessy-Milner Logic, in Dexter Kozen's Festschrift published as Logic and Program Semantics, Springer, LNCS 7230, eds. Robert Constable and Alexandra Silva, pp. 219-243, 2012. [pdf]

  • K. Chatzikokolakis, S. Knight and P. Panangaden. Epistemic Strategies and Games on Concurrent Processes. Proceedings of SOFSEM '09, Springer, LNCS 5404, pp. 153-166, 2009. [pdf]

Workshops
  • A. Barco, S. Knight and F. Valencia. K-Stores: A Spatial and Epistemic Concurrent Constraint Interpreter. Proceedings of WFLP '12, 2012. [pdf]

  • S. Knight. Games on Concurrent Processes: Epistemic Strategies. SecCo '08, 2008. [slides]
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]