Catuscia Palamidessi

Last updated

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).

Contents

Education and career

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]

Recognition

In 2022, Palamidessi was awarded the Inria – French Academy of Sciences Grand Prize  [ fr ]. [2]

Personal life

Palamidessi is married to Dale Miller, an American computer scientist who also works at Inria Saclay. [5]

Related Research Articles

<span class="mw-page-title-main">French Institute for Research in Computer Science and Automation</span> French research institution for computer science

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 Institut de recherche en informatique et en automatique (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.

<span class="mw-page-title-main">Annie Antón</span> American computer scientist

Annie Antón is an academic and researcher in the fields of computer science, mathematical logic, and bioinformatics.

Charles Carroll Morgan is an American computer scientist who moved to Australia in his early teens. He completed his education there, including a Doctor of Philosophy (Ph.D.) degree from the University of Sydney, and then moved to the United Kingdom in the early 1980s. In 2000, he returned to Australia.

<span class="mw-page-title-main">Thierry Coquand</span> French computer scientist and mathematician

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.

<span class="mw-page-title-main">François Fages</span>

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.

<span class="mw-page-title-main">Paris-Saclay University</span> Public research university based in Paris, France

Paris-Saclay University is a public research university based in Paris, France. It is one of the 13 prestigious universities that emerged from the division of the University of Paris, also known as the Sorbonne.

<span class="mw-page-title-main">Francesca Rossi</span> Italian computer scientist

Francesca Rossi is an Italian computer scientist, currently working at the IBM T.J. Watson Research Lab as an IBM Fellow and the IBM AI Ethics Global Leader.

<span class="mw-page-title-main">Marie-Paule Cani</span> French computer scientist

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.

<span class="mw-page-title-main">Marie-Claude Gaudel</span> French mathematician and computer scientist

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.

<span class="mw-page-title-main">Véronique Cortier</span> French mathematician and computer scientist

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.

<span class="mw-page-title-main">Polytechnic Institute of Paris</span> French research university of engineering schools in Palaiseau

The Polytechnic Institute of Paris is a research university located in Palaiseau, France. It consists of five engineering schools: É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.

<span class="mw-page-title-main">Patricia Bouyer-Decitre</span> French theoretical computer scientist

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 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.

Luigia (Gigina) Carlucci Aiello is an Italian computer scientist, emeritus professor of artificial intelligence at Sapienza University of Rome.

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 theorem prover.

References

  1. 1 2 3 Curriculum vitae , retrieved 2023-04-12
  2. 1 2 3 "Catuscia Palamidessi – curiosity developed through science", Inria Awards, Inria, 22 November 2022, retrieved 2023-04-12
  3. ↑ Catuscia Palamidessi at the Mathematics Genealogy Project
  4. ↑ Comète: Privacy, Fairness and Robustness in Information Management, Inria, retrieved 2023-04-12
  5. ↑ Catuscia and Dale's Wedding, 21 March 1996, retrieved 2023-04-12
This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.