Jean Krivine’s homepage
I am interested in fundamental aspects of computer science, mainly models for concurrency (non interleaving semantics, event structures), quantitative simulation (stochastic semantics), formal languages including bigraphs , Kappa and process algebra. I am investigating applications of these concepts to highly distributed systems such as blockchain systems or molecular interaction networks .
March 2009 - Sep 2009:
Visiting scientist at Institut des Hautes Études Scientifiques (IHÉS).
March 2008 - 2009:
Jul '06 - March '07:
Developer at Plectix Biosystem Inc. (Boston, US)
- Teaching assistant at the Université Pierre et Marie Curie (Paris 6)
IRIF - Pôle Preuves, Programmes et Systèmes
Université Paris Diderot - Case 7014
Bâtiment Sophie Germain
Bureau 4026 8, place Aurélie Nemours
75205 Paris Cedex 13