Cambiar a contenido. | Saltar a navegación

Herramientas Personales
Entrar

Navegación

Usted está aquí: Inicio / Acerca del IM / Ingresos y visitantes académicos / 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.
El instituto recibe a Marijana Lazić

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.

archivado en: ,