Jean Krivine’s homepage
Jean Krivine’s homepage
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é Paris Diderot.
I am also member of the scientific board of the INS2I (CNRS).
March 2009 - Sep 2009:
Visiting scientist at Institut des Hautes Études Scientifiques (IHÉS).
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 Biosystems Inc. (Boston, US)
2003-2006:
- 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)
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 and process algebra. I am investigating applications of these concepts to highly distributed systems such as self assembling or transactional systems and molecular interaction networks.
Address:
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
http://w3w.co/crémeuse.lagon.râteler
Phone: +33 1 57 27 93 38