INRIA is a French public research institute in information and communication science and technology. It is an outstanding and highly visible scientific organization, a major player in the European Research Area heavily involved in most of research and development programs. INRIA has eight research centers in Paris, Bordeaux, Grenoble, Lille, Nancy, Nice - Sophia Antipolis, Rennes and Saclay that host 160 project-teams in partnership with universities and other research organizations. INRIA focuses the activity of over 1100 researchers and faculty members, 1200 PhD students and about 1000 post-docs and engineers, on fundamental research at the best international level, as well as on development and transfer activities in the following computer science and applied mathematics areas:rn1. Modeling, simulation and optimization of complex dynamic systemsrn2. Formal methods in programming secure and reliable computing systems.
展开▼