Catuscia Palamidessi (born 1959) 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).
Palamidessi was born in 1959 in Fucecchio, [1] a small village in Tuscany, and when she began her studies at the University of Pisa, despite the discouragement of her parents, she became the first woman from that village to go to a university. [2] Continuing her studies there, she earned a laurea in 1982 and a Ph.D. in 1988, with Giorgio Levi as her doctoral advisor. [1] [3]
She was an assistant professor at the University of Pisa from 1988 to 1992, an associate professor at the University of Genoa from 1992 to 1994, and a full professor at Genoa from 1994 to 1997. From 1998 to 2002 she worked as a professor at Pennsylvania State University in the US, [1] and in 2002 she and her husband moved together to France as directors of research at Inria. [2] At Inria, she is the leader of the Comète team, based at Paris-Saclay University, focused on formal methods in computer security and privacy. [4]
In 2022, Palamidessi was awarded the Inria – French Academy of Sciences Grand Prize . [2]
Palamidessi is married to Dale Miller, an American computer scientist who also works at Inria Saclay. [5]
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.
Annie Antón is an academic and researcher in the fields of computer science, mathematical logic, and bioinformatics.
Thierry Coquand is a French computer scientist and mathematician who is currently a professor of computer science at the University of Gothenburg, having previously worked at INRIA. He is known for his work in constructive mathematics, especially the calculus of constructions.
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.
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.
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.
Wendy Elizabeth Mackay is a Canadian researcher specializing in human-computer interaction. She has served in all of the roles on the SIGCHI committee, including Chair. She is a member of the CHI Academy and a recipient of a European Research Council Advanced grant. She has been a visiting professor in Stanford University between 2010 and 2012, and received the ACM SIGCHI Lifetime Service Award in 2014.
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.
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.
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.
Sarah Cohen-Boulakia is a French computer scientist and data scientist known for her research on data provenance in science, and especially in bioinformatics. She is a professor of bioinformatics in the Laboratory for Computer Science of the French National Centre for Scientific Research and Paris-Saclay University.
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.
Maria Vittoria Salvetti is an Italian aerospace engineer specializing in computational fluid dynamics and especially in the large eddy simulation of turbulence and complex flows. She is a professor of fluid dynamics at the University of Pisa, where she directs the Department of Civil and Industrial Engineering.
Dale Miller is an American computer scientist and author. He is a Director of Research at Inria Saclay and one of the designers of the λProlog programming language and the Abella interactive theorem prover.
Kim Guldstrand Larsen R is a Danish scientist and professor of computer science at Aalborg University, Denmark. His field of research includes modeling, validation and verification, performance analysis, and synthesing of real-time, embedded, and cyber-physical systems utilizing and contributing to concurrency theory and model checking. Within this domain, he has been instrumental in the invention and continuous development of one of the most widely used verification tools, and has received several awards and honors for his work.
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.
Julia Laetitia Lawall is a computer scientist specializing in programming languages. Educated in the US, she has worked in the US, Denmark, and France, where she is a director of research for Inria. She is one of the developers of Coccinelle, a tool for finding patterns and making systematic transformations of source code, and she has also done research on domain-specific languages for operating systems.
| International | |
|---|---|
| National | |
| Academics | |
| People | |
| Other | |
