Related Research Articles
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 Paris, 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 primarily utilized in program verification. It operates on the principle of satisfiability modulo theories (SMT) and is available under the open-source CeCILL-C license. The development of Alt-Ergo was undertaken by researchers at the Laboratoire de Recherche en Informatique, Inria Saclay Ile-de-France, and CNRS. Since 2013, the management and oversight of Alt-Ergo have been conducted by OCamlPro company.
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.
Dr. Marie-France Sagot is Senior 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. With a PhD and an Habilitation in Computer Science from the University of Marne-la-Vallée in France, she has recognized work on algorithms for computational biology and gene prediction and biological sequence analysis. She has coordinated more than 4 national and 20 international projects since 1998, including an ERC AdG project, the Inria Associated Team Compasso and the OLISSIPO project with Prof. Susana Vinga from INESC-ID/IST in Lisbon, Portugal. She also has supervised 31 Master students, 34 PhDs and 22 postdocs since 1999, and held a number of responsibilities over the years, including editorial work, international conference organisation, as well as national, european and international panel participations. She has been involved in teaching and teaching organisation, includingcreating and directingf the PhD Program on Computational Biology at the Instituto Gulbenkian de Ciência, Lisbon, Portugal, from 2004 to 2007. She was elected a Fellow of the International Society for Computational Biology (ISCB) in 2019 for "outstanding contributions to the fields of computational biology and bioinformatics". Since 2002 she has been a visiting research fellow at King's College London. Her main research interests concern computational biology, algorithm analysis and design, and combinatorics. As concerns computational biology, she is more specifically interested by comparative genomics, (co-)evolution, chromosomal dynamics, RNA structures, (co-)phylogeny, regulation, metabolic networks, NGS, and symbiosis.
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 five engineering grandes écoles: École polytechnique, ENSTA Paris, ENSAE Paris, 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.
References
- ↑ "Members", Formal Methods Laboratory, French National Centre for Scientific Research (CNRS), retrieved 2021-09-13
- ↑ "Team members", Toccata project, French Institute for Research in Computer Science and Automation (INRIA), retrieved 2021-09-13
- 1 2 Sylvie Boldo named president of the first computer science aggregation, French Institute for Research in Computer Science and Automation (INRIA), 30 June 2021, retrieved 2021-09-13
- ↑ "Sylvie Boldo", IEEE Xplore, retrieved 2021-09-13
- ↑ "Sylvie Boldo", ORCID, retrieved 2021-09-13
- ↑ Boldo, Sylvie (2014), Deductive Formal Verification: How To Make Your Floating-Point Programs Behave (thesis), Paris-Sud University, retrieved 2021-09-13– via HAL
- ↑ Reviews of Computer Arithmetic and Formal Proofs: Manfred Kerber, Zbl 1385.68001; Pavel S. Pankov, MR 3729304
