Cambiar a contenido. | Saltar a navegación

Herramientas Personales
Entrar

Navegación

Usted está aquí: Inicio / Acerca del IM / Ingresos y visitantes académicos / Visita el IM Jérémy Ledent

Visita el IM Jérémy Ledent

Proveniente de la Escuela Politécnica, Francia. Nos visita del 08 al 23 de septiembre de 2018.
Visita el IM Jérémy Ledent

Jérémy Ledent

 

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

archivado en: ,