UNAM
You are here: Home / Acerca del IM / Ingresos y visitantes / El instituto recibe a Marijana Lazić

El instituto recibe a Marijana Lazić

Proveniente de la Universidad Técnica de Viena, Austria. Está de visita en Ciudad Universitaria del 08 al 23 de septiembre de 2018.


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.

Filed under: ,