Sophia Knight, invitada de Sergio Rajsbaum del 5 al 15 de febrero de 2026

Sophia Knight de la Universidad de Minnesota, Duluth, Estados Unidos. Invitada del Dr. Sergio Rajsbaum Gorodezky para: I. Organizar e impartir la plática “Lógica epistémica, probabilidad y computación” en el 2^o Taller conjunto entre el Instituto de Matemáticas y el Instituto de Investigaciones Filosóficas. II. Trabajar en temas de lógica epistémica y computación distribuida, y su relación con topología. Duración 11 días, del 05/02/2026 al 15/02/2026. 

I research the relationship between knowledge, communication, information flow, and interaction in dynamic multi-agent systems, using tools from concurrency theory and epistemic logic. I apply these ideas to problems in social networks and other multi-user online systems with personal data, as well as to security problems. I have studied these problems from several perspectives: various modal logics with an epistemic focus, process algebra, games, and topological models. I am currently working on a logic for analyzing the effects of asynchronous communication on knowledge as well as an epistemic version of strategy 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 have worked on topological semantics for dynamic epistemic logics.