Delia Kesner

Delia Kesner is a Full Professor in Computer Science at UFR d'Informatique, Université Paris Cité, and a member of the Institut de Recherche en Informatique Fondamentale (IRIF), a joint CNRS unit. She holds significant leadership roles as Deputy Director of the École Doctorale 386 de Sciences Mathématiques de Paris Centre, Director (France) of the IRP SINFIN, and In charge of the ERC Unit at CNRS Informatics. She is a Senior Member of the Institut Universitaire de France (IUF) and a Corresponding Member of the Academy of Sciences of Torino, reflecting her high standing in the academic community.

Her research is centered on the theoretical foundations of computation, with primary interests in programming languages, lambda calculus, type theory, proof theory, linear logic, and rewriting theory. Her work delves into specific areas such as evaluation strategies (call-by-need, call-by-push-value), intersection type theory, the Curry-Howard isomorphism, resource calculi, and explicit substitutions. This research provides deep insights into the semantics and behavior of programming languages and logical systems.

The trends in her recent publications, which appear in top venues like Logical Methods in Computer Science (LMCS) and PACMPL, show a consistent focus on the interplay between logic and computation. Her work often involves developing fine-grained, quantitative models for lambda calculi, investigating inhabitation problems, creating strong bisimulations for classical calculi, and revisiting foundational systems like the Bang Calculus. A unifying theme is the use of type systems and resource-aware semantics to analyze and understand computational processes with precision.

• Senior Member of Institut Universitaire de France (IUF)
• Corresponding Member of the Academy of Sciences of Torino
• RAICES International Cooperation Award (2016)

Delia Kesner has a distinguished record of mentoring, having advised numerous PhD students, including well-known researchers like Beniamino Accattoli, Pierre Vial, and Pablo Barenbaum. Her leadership extends to major collaborative research projects and working groups, such as the LIA INFINIS (co-directed with Argentina), the GDRI Linear Logic, and the French working groups SCALP and LHC. She has coordinated international projects like ECOS-Sud and STIC-Amsud. Her service to the community is extensive, having served on the steering committees of FSCD, ETAPS, and IFIP WG 1.6, and on the program committees of countless top conferences including POPL, LICS, and ICFP.

She is a central figure in several international research communities, organizing and co-organizing workshops like HOR, LSFA, and the Workshop on Intersection Types. Her work in the LIA INFINIS and IRP SINFIN highlights her commitment to fostering long-term international cooperation, particularly between France and Argentina.