Related Research Articles
A grande école is a specialised elite professional school that is separate from, but parallel and often connected to, the main framework of the French public university system. The grandes écoles offer teaching, research, and professional training in single academic fields such as engineering, architecture, business administration, academic research, or public policy and administration. The schools only admit students through an extremely competitive examination process, and a significant proportion of their graduates occupy senior positions in French business, academia, civil service, and civil society.
The Grenoble Institute of Technology is a French technological university system consisting of eight engineering and management schools.
The École nationale supérieure d'informatique et de mathématiques appliquées, or Ensimag, is a prestigious French Grande École located in Grenoble, France. Ensimag is part of the Institut polytechnique de Grenoble. The school is one of the top French engineering institutions and specializes in computer science, applied mathematics and telecommunications.
The Parallel Multithreaded Machine (PM2) is a software for parallel networking of computers.
The BKM algorithm is a shift-and-add algorithm for computing elementary functions, first published in 1994 by Jean-Claude Bajard, Sylvanus Kla, and Jean-Michel Muller. BKM is based on computing complex logarithms (L-mode) and exponentials (E-mode) using a method similar to the algorithm Henry Briggs used to compute logarithms. By using a precomputed table of logarithms of negative powers of two, the BKM algorithm computes elementary functions using only integer add, shift, and compare operations.
French university associations known as "pôles de recherche et d'enseignement supérieur" were a form of higher-level organization for universities and other institutions established by French law in effect from 2007 to 2013. The 2013 Law on Higher Education and Research (France) discontinued the PRES; these have been largely replaced by the new Communities of Universities and Institutions. The list below indicates the status of those institutions designated as PRES or related associations before the 2013 law took effect. See the list of public universities in France for the current status of these institutions.
The École nationale supérieure de l'énergie, l'eau et l'environnement(Ense3) is one of the engineering schools of the Institut National Polytechnique de Grenoble. As a grande école, students are admitted through a nationwide competitive examination. It was formed by the merger of the École nationale supérieure d'hydraulique et de mécanique de Grenoble (ENSHM) and the École nationale supérieure d'ingénieurs électriciens de Grenoble (ENSIEG).
François Fages is a French computer scientist known for contributions in the areas of unification theory, rule-based modelling, logic programming, concurrent constraint logic programming, computational biology and systems biology.
Radhia Cousot was a French computer scientist known for inventing abstract interpretation.
Brigitte Plateau is a French computer scientist. A former student of the École Normale Supérieure at Fontenay-aux-Roses majoring in Mathematics, she is a Doctor of Information Studies. A University Professor at Grenoble Institute of Technology since 1988, since February 2012 she has been the General Administrator of the Grenoble INP cluster.
Valérie Berthé is a French mathematician who works as a director of research for the Centre national de la recherche scientifique (CNRS) at the Institut de Recherche en Informatique Fondamentale (IRIF), a joint project between CNRS and Paris Diderot University. Her research involves symbolic dynamics, combinatorics on words, discrete geometry, numeral systems, tessellations, and fractals.
Marie-Paule Cani is a French computer scientist conducting advanced research in the fields of shape modeling and computer animation. She has contributed to over 300 research publications having around 12000 citations.
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.
Martine-Michèle Sebag is a French computer scientist, primarily focused on machine learning. She has over 6,000 citations.
Patrick Flandrin is a French physicist, research director at CNRS researcher at École Normale Supérieure de Lyon, and member of the French Academy of Sciences.
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.
Bernt Schiele is a German computer scientist. He is Max Planck Director at the Max Planck Institute for Informatics and professor at Saarland University. He is known for his work in the field of computer vision and perceptual computing.
Olivier Gascuel is a French researcher in bioinformatics. He is a research director at the CNRS. His work focuses in particular on phylogeny. He was the director of the Centre for Bioinformatics, Biostatistics and Integrative Biology at the Pasteur Institute from 2015 till 2020. In 2021, he joined the Institute of Systematics, Evolution, Biodiversity (ISYEB) at the National Museum of Natural History, France.
Sylvie Boldo is a French mathematician and computer scientist. Her research combines automated theorem proving and computer arithmetic, focusing on the formal verification of floating-point arithmetic operations and of algorithms based on them. She is a director of research for the French Institute for Research in Computer Science and Automation (INRIA), affiliated with the Formal Methods Laboratory at Paris-Saclay University and the INRIA Saclay-Île-de-France Research Centre, where she co-leads the Toccata project for formally verified programs, certified tools and numerical computations. She is also the founding jury president for the French agrégation in computer science.
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.
References
- 1 2 3 4 Curriculum vitae (PDF), École normale supérieure de Lyon, October 2020, retrieved 2021-07-14
- ↑ Nathalie Revol at the Mathematics Genealogy Project
- ↑ IEEE 1788-2015 – IEEE Standard for Interval Arithmetic, IEEE, retrieved 2021-07-14
- ↑ Dąbrowski, Rafał; Kubica, Bartłomiej Jacek (2009), "Comparison of interval C/C++ libraries in global optimization" (PDF), Prace Naukowe Politechniki Warszawskiej, 169: 51–56
- ↑ Reviews of Handbook of Floating-Point Arithmetic:
- Bultheel, Adhemar (2015), "Review", Bulletin of the Belgian Mathematical Society (Simon Stevin), 22 (1): 174–175
- Hayes, Brian (January–February 2012), "Murkiness in numerical computing", American Scientist, 100 (1): 84–86, JSTOR 23222826
- Mohan, T. C., Zbl 1197.65001 and Zbl 1394.65001
