El instituto recibe a Marijana Lazić

Marijana Lazić has research Interests in Formal methods, Parameterized Model Checking, Verification and Synthesis of Fault Tolerant Distributed Algorithms, Knowledge and Topology in Distributed Computing.

Es invitada del Dr. Sergio Rajsbaum Gorodezky para participar en el 10th Conference on Geometric and Topological Methods in Computer Science (GETCO) y realizar investigación sobre computación distribuida y su relación con lógica epistémica, desde la perspectiva de topología combinatoria.

Información proporcionada por el anfitrión.