Sophia Knight

LORIA
Université de Lorraine
Nancy, France

Email: sophia.knight at gmail.com

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, topological reasoning, and security. I am currently working on a logic for analyzing the effects of asynchronous communication on knowledge as well as an ATL-style 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 am working on topological semantics for dynamic epistemic logics.

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.

Working Paper
  • H. van Ditmarsch and S. Knight. Partial Information, Knowledge, and Uniform Strategies. Under submission, 2015. [pdf]

Publications
  • H. van Ditmarsch, S. Knight and A. Özgün. Arbitrary Announcements on Topological Subset Spaces. To appear in proceedings of EUMAS 2014. [pdf]

  • H. van Ditmarsch and S. Knight. Partial Information and Uniform Strategies. Proceedings of CLIMA '14, Springer, LNCS 8624, pp. 183-198, 2014. [pdf]

  • N. Ferns, D. Precup and S. Knight. Bisimulation for Markov Decision Processes through Families of Functional Expressions. Horizons of the Mind. A Tribute to Prakash Panangaden, Springer, LNCS 8464, pp. 319-342, 2014. [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]

Workshops
  • H. van Ditmarsch, S. Knight and A. Özgün. Arbitrary Announcements on Topological Subset Spaces. ICLA 2014. [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]
Thesis
  • The Epistemic View of Concurrency Theory. Defended 20 September, 2013. [pdf]