Mai Gehrke (born 10 May 1964) is a Danish mathematician who studies the theory of lattices and their applications to mathematical logic and theoretical computer science. She is a director of research for the French Centre national de la recherche scientifique (CNRS), affiliated with the Laboratoire J. A. Dieudonné (LJAD) at the University of Nice Sophia Antipolis. [1]
As a child, Gehrke was educated at a French school in Algiers, which used a Bourbakist and very abstract mathematics curriculum. As a high school student in Denmark, she spent a year as an exchange student in Houston studying painting, but was brought back to mathematics by a Polish mathematics teacher who taught her point-set topology according to the Moore method. [2]
She earned her Ph.D. from the University of Houston in 1987. Her dissertation, Order Structure of Stone Spaces and the TD-axiom, was supervised by Klaus Hermann Kaiser. [3]
After postdoctoral study at Vanderbilt University, Gehrke joined the faculty of New Mexico State University in 1990. She moved to Radboud University Nijmegen in 2007, and to CNRS in 2011. From 2011 to 2017 her work for CNRS was associated with the Laboratoire d'Informatique Algorithmique: Fondements et Applications (LIAFA) at Paris Diderot University; in 2017 she moved to LJAD in Sophia Antipolis. [1]
The École centrale de Lyon (ECL) is a research university in greater Lyon, France. Founded in 1857 by François Barthélemy Arlès-Dufour in response to the increasing industrialization of France, it is one of the oldest graduate schools in France. The university is part of the Grandes Écoles, a prestigious group of French institutions dedicated to engineering, scientific research, and business education. The current 45-acre campus opened in 1967 and is located in the city of Ecully.
Télécom Paris is a French public institution for higher education and engineering research. Located in Palaiseau, it is also a member of the Institut Polytechnique de Paris and the Institut Mines-Télécom. In 2021 it was the sixth highest ranked French university in the World University Rankings, and the 7th best small university worldwide. In the QS Ranking, Télécom Paris is the 64th best university worldwide in Computer Science.
The Association française pour l'information scientifique or AFIS is an association regulated by the French law of 1901, founded under the leadership of Michel Rouzé in November 1968. As a skeptical organisation, it has been a member of the European Council of Skeptical Organisations since 2001, and publishes the magazine Science et pseudo-sciences.
Côte d'Azur University is a public research university located in Nice, France, and neighboring areas. In 2019, it replaced the University of Nice Sophia Antipolis and the community (ComUE) that was created in 2013. On 9 January 2020, Jeanick Brisswalter was elected as president of Côte d'Azur University.
Marie Farge is a French mathematician and physicist who works as a director of research at CNRS, the French National Centre for Scientific Research. She is known for her research on wavelets and turbulence in fluid mechanics.
Sandrine Péché is a French mathematician who works as a professor in the Laboratoire de Probabilités, Statistique et Modélisation of Paris Diderot University. Her research concerns probability theory, mathematical physics, and the theory and applications of random matrices.
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.
Joceline Claude Lega is a French physicist and applied mathematician, interested in nonlinear dynamics. She is a professor in the departments of mathematics, applied mathematics, and epidemiology and biostatistics at the University of Arizona, and editor-in-chief of Physica D.
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.
Sylvie Corteel is a French mathematician at the Centre national de la recherche scientifique and Paris Diderot University and the University of California, Berkeley, who was an editor-in-chief of the Journal of Combinatorial Theory, Series A. Her research concerns the enumerative combinatorics and algebraic combinatorics of permutations, tableaux, and partitions.
Anne-Marie Lagrange, born March 12, 1962 in the Rhône-Alpes region of France, is a French astrophysicist. Lagrange's work focuses on the research and study of extrasolar planetary systems. Lagrange is the holder of numerous scientific awards and honorary decorations, including Knight of the Legion of Honour and is a member of the French Academy of Sciences since 2013.
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.
The prix Jaffé is a prize of the Institut de France awarded by nomination of the French Academy of Sciences. The award is financially supported by the Jaffé foundation of the Institute.
Dorothée Normand-Cyrot is a French applied mathematician and control theorist, known for her work on discrete-time nonlinear control systems.
Anca Muscholl is a Romanian-German mathematical logician and theoretical computer scientist known for her work on formal verification, model checking, and two-variable logic. She is a researcher at the Laboratoire bordelais de recherche en informatique (LaBRI), a professor at the University of Bordeaux, and a former junior member of the Institut Universitaire de France.
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.
Sylvie Roelly is a French mathematician specializing in probability theory, including the study of particle systems, Gibbs measure, diffusion, and branching processes. She is a professor of mathematics in the Institute of Mathematics at the University of Potsdam in Germany.
Laure Blanc-Féraud is a French applied mathematician and image processing researcher specializing in three-dimensional medical imaging. She is a senior scientist for the French National Centre for Scientific Research (CNRS), affiliated with the Laboratoire d'Informatique, Signaux et Systèmes at Côte d'Azur University.
Patricia Reynaud-Bouret is a French statistician who has studied Hawkes processes, density estimation, and concentration inequalities, and applied them in neuroscience, neural connectivity reconstruction, and genomics. She is a director of research for the French National Centre for Scientific Research (CNRS), affiliated with the J. A. Dieudonné Laboratory of Côte d'Azur University (LJAD), founder and former director of the university's NeuroMod Institute for Modeling in Neuroscience and Cognition, and a chair holder in the university's Interdisciplinary Institute for Artificial Intelligence (3iA).