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 ATLstyle 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. 183198, 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. 319342, 2014. [pdf]
 S. Knight, C. Palamidessi, P. Panangaden and F. Valencia. Spatial and Epistemic Modalities in ConstraintBased Process Calculi. Proceedings of CONCUR '12, Springer, LNCS 7454, pp. 317332, 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:128:35, 2012. [pdf]
 S. Knight, R. Mardare and P. Panangaden.
Combining Epistemic Logic and HennessyMilner Logic, in Dexter
Kozen's Festschrift published as Logic and Program Semantics, Springer, LNCS 7230, eds. Robert Constable and Alexandra Silva, pp. 219243, 2012. [pdf]
 K. Chatzikokolakis, S. Knight and P. Panangaden. Epistemic Strategies and Games on Concurrent Processes. Proceedings of SOFSEM '09, Springer, LNCS 5404, pp. 153166, 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. KStores: 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]

