Institut National de Recherche en Informatique et Automatique definition body
(INRIA) A French research institute for computer science, control theory, and applied mathematics. INRIA has research units in Rocquencourt (near Paris), Sophia-Antipolis (near Nice), Grenoble, Nancy (also known as LORIA) and Rennes (known as IRISA), the last two in partnership with CNRS and local universities.
INRIA works on various projects, including the development of free software
such as SciLab, Objective Caml
, and projects such as GNU MP.