Related Research Articles
Theoretical computer science (TCS) is a subset of general computer science and mathematics that focuses on mathematical aspects of computer science such as the theory of computation (TOC), formal language theory, the lambda calculus and type theory.
Philippe Flajolet was a French computer scientist.
Bernard Chazelle is a French-born computer scientist. He is currently the Eugene Higgins Professor of Computer Science at Princeton University. Much of his work is in computational geometry, where he is known for his study of algorithms, such as linear-time triangulation of a simple polygon, as well as major complexity results, such as lower bound techniques based on discrepancy theory. He is also known for his invention of the soft heap data structure and the most asymptotically efficient known deterministic algorithm for finding minimum spanning trees.
Jeffrey Scott Vitter is a U.S. computer scientist and academic administrator. Born in 1955 in New Orleans, Vitter has served in several senior higher education administration posts. He is a former chancellor of the University of Mississippi. He assumed the chancellor position on January 1, 2016. His formal investiture to the chancellorship took place on November 10, 2016, at the University of Mississippi's Oxford Campus.
In geometry, a polygonal chain is a connected series of line segments. More formally, a polygonal chain is a curve specified by a sequence of points called its vertices. The curve itself consists of the line segments connecting the consecutive vertices.
Gérard Pierre Huet is a French computer scientist, linguist and mathematician. He is senior research director at INRIA and mostly known for his major and seminal contributions to type theory, programming language theory and to the theory of computation.
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.
Vincent Daniel Blondel is a Belgian professor of applied mathematics and current rector of the University of Louvain (UCLouvain) and a visiting professor at the Massachusetts Institute of Technology (MIT). Blondel's research lies in the area of mathematical control theory and theoretical computer science. He is mostly known for his contributions in computational complexity in control, multi-agent coordination and complex networks.
The University of Lorraine, abbreviated as UL, is a public research university based in Lorraine, Grand Est region, France. It was created on 1 January 2012, by the merger of Henri Poincaré University, Nancy 2 University, Paul Verlaine University – Metz and the National Polytechnic Institute of Lorraine (INPL). It aimed to unify the main colleges of the Lorraine region. The merger process started in 2009 with the creation of a Pôle de recherche et d'enseignement supérieur (PRES) and was completed in 2012.
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.
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.
Monique Laurent is a French computer scientist and mathematician who is an expert in mathematical optimization. She is a researcher at the Centrum Wiskunde & Informatica in Amsterdam where she is also a member of the Management Team. Laurent also holds a part-time position as a professor of econometrics and operations research at Tilburg University.
Jean-Daniel Boissonnat is a French computer scientist, who works as a director of research at the French Institute for Research in Computer Science and Automation (INRIA). He is an invited professor of computational geometry at the Collège de France, holding the Chair in Informatics and Computational Sciences for 2016–2017.
Rachid Deriche is a research director at Inria Sophia Antipolis, France, where he leads the research project Athena aiming to explore the Central Nervous System using computational imaging. He has published more than 60 journals and more than 180 conferences papers with a Google Scholar H-index of 67. He is known for the development of the edge detection algorithm, named after him.
Julia Kempe is a French, German, and Israeli researcher in quantum computing. She is currently the Director of the Center for Data Science at NYU and Professor at the Courant Institute.
Mariette Yvinec is a French researcher in computational geometry at the French Institute for Research in Computer Science and Automation (INRIA) in Sophia Antipolis. She is one of the developers of CGAL, a software library of computational geometry algorithms.
Jean Vuillemin is a French computer scientist known for his work in data structures and parallel computing. He is a professor of computer science at the École normale supérieure (Paris).
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.
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.
References
- ↑ Blanchard, Marie (August 2015), Portrait of Monique Teillaud
- ↑ Monique Teillaud, INRIA, retrieved 2018-05-25
- ↑ Monique Teillaud at the Mathematics Genealogy Project
- ↑ SoCG program committees , retrieved 2018-05-25
- ↑ Review of Towards Dynamic Randomized Algorithms in Computational Geometry: Gritzmann, Peter (1996), Mathematical Reviews, 758, MR 1290122
{{citation}}: CS1 maint: untitled periodical (link)
