Visita el IM Jérémy Ledent

Proveniente de la Escuela Politécnica, Francia. Nos visita del 08 al 23 de septiembre de 2018.

Jérémy Ledent is specialist in geometric semantics of concurrent programs, and links to the computability of concurrent tasks. Research interests: Concurrency, topology, Category theory, Semantics of programming languages, Logic, Formal languages and automata.

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

Información proporcionada por el anfitrión