Delia KesnerProfessor at Université Paris Cité, member of IRIF

Delia Kesner is a professor at Université Paris Cité and works at the Institut de recherche en informatique fondamentale (IRIF - CNRS/Université Paris Cité). In 1993 she defended her doctoral thesis in computer science, carried out jointly at the Laboratoire de recherche en informatique  (LRI- CNRS/Université Paris-Sud) and the National institute for research in computer science and control (Inria). A year later, she was appointed assistant professor at Université Paris-Sud until her appointment as full professor at Université Paris Cité in 2002. From 2018 to 2023, she was a senior member of the Institut Universitaire de France with a fundamental chair. She is the scientific head of the SINFIN Franco-Argentine International Research Project (formerly LIA INFINIS), a role that led to her receiving the 2016 Raices Award for international cooperation. Since 2020 she has been a corresponding member of the Turin Academy of Sciences.

Her research mainly focuses on the theory of programming languages and proof assistants, lambda-calculus and rewriting, linear logic, and type and proof theory.