Sophia Knight

Université de Lorraine
Nancy, France

Email: sophia.knight at

I am a postdoctoral researcher at LORIA at Université de Lorraine, in Hans van Ditmarsch's CELLO team. I am funded by CNRS. My research interests are modal logic, concurrency, games and security. I am currently working on an ATL-style logic for modelling agents' abilities and knowledge under uncertainty, as well as a logic for analyzing the effects of asynchronous communication on knowledge. 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.

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, particularly in security applications such as anonymity protocols. I studied this problem from various perspectives: modal (epistemic) logic, process algebra, and games.

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.

  • The Epistemic View of Concurrency Theory. Defended 20 September, 2013. [pdf]
  • 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]

  • 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]