Jean Krivine has a PhD in computer science. He joined us in March 2008 as a Research Fellow from a postdoctoral training with Robin Milner. Jean is the inventor of the general scalable rule-based stochastic simulator that we use in the "Programs-as-Models" project. His work ranges from modeling biological systems to redefining the Kappa language with the goal of including dynamic compartment formation. Jean's specialty is concurrency.