Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot
En libre accès, dans la limite des places disponibles
-

Jean Krivine is a CNRS researcher at IRIF (Institut de recherche en informatique fondamentale, Université de Paris). He is interested in fundamental aspects of computer science, mainly models for concurrency, quantitative simulation (stochastic semantics), and formal languages. He is investigating applications of these concepts to highly distributed systems such as block chains, self assembling or transactional systems and molecular interaction networks.

Intervenant(s)

Jean Krivine

Paris Diderot