From July 2005 to July 2006, he was a visiting researcher at the Institut national de recherche en informatique et en automatique (INRIA), Rocquencourt, France, on sabbatical from Princeton.
He went on to claim important research positions at institutions such as Carnegie Mellon, Brown, NEC, Xerox PARC, and the Paris institutions École Normale Supérieure, École Polytechnique, and INRIA.
Caml (originally an acronym for Categorical Abstract Machine Language) is a dialect of the ML programming language family, developed at INRIA and formerly at ENS.
The project started in 1996 as the pooling of the previous efforts of several project participants:PlaGeo and SpaGeo from Utrecht University, LEDA of the Max-Planck-Institute for Informatics and C++GAL of INRIA Sophia Antipolis.
Talbi (LIFL – Laboratory of Basic Computer Science in Lille, USTL, CNRS, INRIA, Villeneuve d'Ascq).
He has managed the National Plan Mathematics Programme (2001–2004) and directed and participated in various international panels belonging of the French CNRS, ANR, IUF, AERES and INRIA and the German DFG amongst other agencies.
A fully formal proof, checked with the Coq proof assistant, was announced in September 2012 by Georges Gonthier and fellow researchers at Microsoft Research and INRIA.
INRIA is a Public Scientific and Technical Research Establishment (EPST) under the double supervision of the French Ministry of National Education, Advanced Instruction and Research and the Ministry of Economy, Finance and Industry.
•
INRIA has 8 research centers (in Bordeaux, Grenoble, Lille, Nancy, Paris-Rocquencourt, Rennes, Saclay, and Sophia Antipolis) and also contributes to academic research teams outside of those centers.
At the time of his death from a serious illness, Philippe Flajolet was a research director (senior research scientist) at INRIA in Rocquencourt.
SmartEiffel has been developed at the Lorraine Laboratory of Research in Information Technology and its Applications (LORIA), an institute affiliated to the French National Institute for Research in Computer Science and Control (INRIA), on the campus of Nancy-Université in Lorraine.
In 1993-1994 he was a Göran Gustafsson Fellow at the Royal Institute of Technology (Stockholm) and in 1994-1995 he was a Research Fellow at the National Institute for Research in Computer Science and Control (INRIA) in Paris.