The National Institute for Research in Digital Science and Technology (Inria) is a French national research institution focusing on computer science and applied mathematics. It was created under the name French Institute for Research in Computer Science and Automation (IRIA) in 1967 at Rocquencourt near Paris, part of Plan Calcul. Its first site was the historical premises of SHAPE, which is still used as Inria's main headquarters. In 1980, IRIA became INRIA. Since 2011, it has been styled Inria.
Frama-C stands for Framework for Modular Analysis of C programs. Frama-C is a set of interoperable program analyzers for C programs. Frama-C has been developed by the French Commissariat à l'Énergie Atomique et aux Énergies Alternatives (CEA-List) and Inria. It has also received funding from the Core Infrastructure Initiative. Frama-C, as a static analyzer, inspects programs without executing them. Despite its name, the software is not related to the French project Framasoft.
Maurice Paul Nivat was a French computer scientist. His research in computer science spanned the areas of formal languages, programming language semantics, and discrete geometry. A 2006 citation for an honorary doctorate (Ph.D.) called Nivat one of the fathers of theoretical computer science. He was a professor at the University Paris Diderot until 2001.
Paris-Saclay University is a combined technological research institute and public research university in Orsay, France. Paris-Saclay was established in 2019 after the merger of four technical grandes écoles, as well as several technological institutes, engineering schools, and research facilities; giving it fifteen constituent colleges with over 48,000 students combined.
Alt-Ergo, an automatic solver for mathematical formulas, is mainly used in formal program verification. It operates on the principle of satisfiability modulo theories (SMT). Development was undertaken by researchers at the Paris-Sud University, Laboratoire de Recherche en Informatique, Inria Saclay Ile-de-France, and CNRS. Since 2013, project management and oversight has been conducted by OCamlPro company. It is released under the free and open-source software CeCILL-C license.
Marie-Claude Gaudel is a French computer scientist. She is a professor emerita at the University of Paris-Sud. She helped develop PLUSS language for software specifications and was involved in both theoretical and applied computer science. Gaudel is still active in professional societies.
Monique Teillaud is a French researcher in computational geometry at the French Institute for Research in Computer Science and Automation (INRIA) in Nancy, France. She moved to Nancy in 2014 from a different INRIA center in Sophia Antipolis, where she was one of the developers of CGAL, a software library of computational geometry algorithms.
Marie-France Sagot is a researcher at the French Institute for Research in Computer Science and Automation (INRIA) and responsible for the INRIA European team ERABLE. She is also a member of staff at Claude Bernard University Lyon 1.
Lenka Zdeborová is a Czech physicist and computer scientist who applies methods from statistical physics to machine learning and constraint satisfaction problems. She is a professor of physics and computer science and communication systems at EPFL.
Véronique Cortier is a French mathematician and computer scientist specializing in cryptography. Her research has applied mathematical logic in the formal verification of cryptographic protocols, and has included the development of secure electronic voting systems. She has also contributed to the public dissemination of knowledge about cryptography through a sequence of posts on the binaire blog of Le Monde. She is a director of research with CNRS, associated with the Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA) at the University of Lorraine in Nancy.
Jing-Rebecca Li is an applied mathematician known for her work on magnetic resonance imaging and Lyapunov equations. She is a researcher with the French Institute for Research in Computer Science and Automation (INRIA), at their Saclay research center.
The Polytechnic Institute of Paris is a public technological university located in Palaiseau, France. It consists of six engineering grandes écoles: École polytechnique, ENSTA Paris, ENSAE Paris, École des ponts ParisTech, Télécom Paris and Télécom SudParis.
Mihaela Sighireanu is a French and Romanian computer scientist specializing in model checking and software verification. She works as a professor at Paris-Saclay University and as a member of the Formal Methods Lab run jointly by Paris-Saclay University, CNRS, and the École normale supérieure Paris-Saclay.
Patricia Bouyer-Decitre is a French theoretical computer scientist known for her research on timed automata, model checking, and temporal logic. She is a senior researcher for the French National Centre for Scientific Research (CNRS), and director of the Laboratoire Méthodes Formelles of CNRS and the École normale supérieure Paris-Saclay.
Nathalie Revol is a French computer scientist known for her research on computer arithmetic, including floating-point arithmetic and interval arithmetic. She is a researcher for the French Institute for Research in Computer Science and Automation (INRIA), associated with the arithmetic and computing project of the Laboratoire de l'Informatique du Parallélisme at the École normale supérieure de Lyon.
Emilie Kaufmann is a French statistician and computer scientist specializing in machine learning, and particularly known for her research on the multi-armed bandit problem. She is a researcher for the French National Centre for Scientific Research (CNRS), associated with the Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) at the University of Lille.
Anne Auger is a French numerical analyst and computer scientist interested in benchmarks and performance analysis of black-box methods for numerical optimization. She is a director of research for the French Institute for Research in Computer Science and Automation (Inria), and the leader of RandOpt, the Randomized Optimization team at the Inria Saclay research center.
Sylvie Thiébaux is a French-Australian computer scientist, whose research in artificial intelligence focuses on automated planning and scheduling, diagnosis, and automated reasoning under uncertainty. She is a professor of computer science at the Australian National University, and co-editor-in-chief of the journal Artificial Intelligence.
Catuscia Palamidessi is a computer scientist whose research topics have included differential privacy, location obfuscation, fairness in machine learning, the logic of concurrent systems, and the design of programming languages that combine logic programming and functional programming. Originally from Italy, she has worked in Italy, the US, and France, where she is a director of research for the French Institute for Research in Computer Science and Automation (Inria).
Petra Isenberg is a computer scientist specializing in collaborative and interactive information visualization and in human–computer interaction. Educated in the US, Germany, Taiwan, and Canada, she has worked in the Netherlands and France, where she is a director of research for the French Institute for Research in Computer Science and Automation (Inria), affiliated with the Laboratoire Interdisciplinaire des Sciences du Numérique (LISN) at Paris-Saclay University.
