Sophia Knight

Sophia Knight serves as Associate Professor in the Department of Computer Science at the Swenson College of Science and Engineering, University of Minnesota Duluth.

Her academic credentials include:

• PhD (2013) from École Polytechnique (LIX) under Frank Valencia and Catuscia Palamidessi in the COMETE team, dissertation analyzing information flow between agents using game semantics, modal logic, and process calculus
• Master's degree (2009) from McGill University's School of Computer Science supervised by Prakash Panangaden in the Reasoning and Learning Laboratory, thesis on game semantics for process algebra modeling anonymity protocols

Dr. Knight's research examines knowledge dynamics and communication in multi-agent systems through epistemic logic and concurrency theory frameworks. Her work addresses security challenges in social networks and personal data systems using:

• Asynchronous communication effects on knowledge modeling
• Epistemic strategy logic for agent uncertainty
• Constraint programming for distributed knowledge reasoning
• Topological semantics for dynamic epistemic logics (with Aybüke Özgün)

Prior appointments include:

• Postdoctoral researcher (2016-2018) at Uppsala University's Concurrency group
• Postdoctoral researcher (2013-2016) at LORIA, Université de Lorraine in Hans van Ditmarsch's CELLO team