Current:

I am a CNRS researcher (CR2) in PPS laboratory (Proofs, Programs and Systems) at Université Paris Diderot.

March 2009 - Sep 2009:

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

Arndt Benecke’s team. Formal language for molecular biology and modeling of epi-genetic regulation and DNA repair mechanisms.

March 2008 - 2009:

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

Concurrency theory and modeling of bio-molecular networks.

March 2007 - 2008:

Research fellow at LIX (École Polytechnique) with Robin Milner on the study and application of the theory of bigraphs.

Jul '06 - March '07:

Internship at Plectix Biosystems Inc. (Boston, US): realization of the Cellucidate.com platform for the collective development and analysis of biological models.

2003-2006:

- Ph.D student (Reversible process algebra) in MOSCOVA team, supervised by Jean-Jacques Lévy at INRIA-Rocquencourt.

- Teaching assistant at the Université Pierre et Marie Curie (Paris 6): functional languages (Scheme, Ocaml) and C programming.

Short CV

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-calculus and process algebras. I am investigating applications of these concepts to highly distributed systems such as self assembling or transactional systems and molecular interaction networks.

Postal address (use for regular mail):

Laboratoire PPS

Université Paris Diderot - Paris 7

Case 7014

75205 PARIS Cedex 13

FRANCE

Physical address (use for express mail delivery):

Bureau 3041
Sophie Germain Building
8 place FM/13 75013 Paris
Access to the building

Phone: +33 1 57 27 93 38

email: jean.krivine(at)pps(dot)univ-paris-diderot(dot)fr

SSH PUBLIC KEY