Delia Kesner

Delia Kesner is a Full Professor in Computer Science at Paris Cité University and a member of the Institute for Research in Fundamental Computer Science (IRIF - CNRS/Université Paris Cité). She serves as Deputy Director of Ecole Doctorale 386 de Sciences Mathématiques de Paris Centre and is in charge of the ERC Unit at CNRS Informatics. Additionally, she is the Director (France) of IRP SINFIN and a Senior Member of the Institut Universitaire de France (IUF).

Her educational background includes a Master's degree in computer science from the Latin American Superior School of Informatics (ESLAI), a DEA from Paris Diderot University, and a PhD from Paris Sud University, which she defended in 1993. She was appointed lecturer at Paris-Sud University in 1994 and became professor at Paris Cité University in 2002.

Professor Kesner's research focuses on theoretical aspects of computer science, particularly programming languages and their foundations. Her work spans lambda calculus, linear logic, type theory, proof theory, and rewriting theory. She has made significant contributions to evaluation strategies, pattern calculi, intersection type theory, and the Curry-Howard isomorphism. Her research has important implications for the design and implementation of programming languages and proof assistants, with a recent focus on specifying the quantitative aspects of data to build more efficient programming languages.

• RAICES Prize for International Cooperation (2016)
• Senior Member of Institut Universitaire de France (2018-2023)
• Corresponding Member of the Academy of Sciences of Torino (2020)

Professor Kesner has supervised numerous PhD students throughout her career, contributing significantly to the training of the next generation of computer scientists. She has also coordinated multiple international research projects and serves on program committees for major conferences in theoretical computer science. Her leadership extends to the Standing Committee for Gender Equality in Science and editorial work for TheoretiCS, an Open Access electronic journal.