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

Short CV

Since 2009:

I am a CNRS researcher (CR1) in IRIF (Institute of fundamental research in Informatics) in the PPS team (Proofs, Programs and Systems) at Université de Paris .

March 2009 - Sep 2009:

Visiting scientist at Institut des Hautes Études Scientifiques (IHÉS). 

Arndt Benecke ’s team .

March 2008 - 2009:

Postdoctoral Fellow in Fontana's lab , Systems Biology Department , Harvard Medical School

March 2007 - 2008:

Postdoctoral fellow at LIX (École Polytechnique) with Robin Milner

Jul '06 - March '07:

Developer at  Plectix Biosystem Inc. (Boston, US)


- Ph.D student in the MOSCOVA team, supervised by Jean-Jacques Lévy at INRIA-Rocquencourt .

- 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 

Access to the buildingémeuse.lagon.râteler

Phone: +33 1 57 27 93 38