Home

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

January 2025: Habilitation à diriger les recherches en Informatique de l’Université Paris Cité (dissertation is here)

Since Jan 2024:

CNRS researcher at IRIF, in charge of the team Programmes et Langages

Sept 2021 - Jan 2024:
Sabbatical (disponibilité du CNRS) for startup creation (implementation of a decentralized exchange protocol ). CTO of the Mangrove Protocol.

2009 - 2021:

CNRS researcher at 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 atPlectix Biosystem Inc. (Boston, US)

2003-2006: