Claudia Faggian

Chargée de Recherche, CNRS

Laboratoire IRIF

Université Paris Cité
Bâtiment Sophie Germain
Office: 3032

Email : faggian AT irif.fr



RESEARCH

I work on proof theory, rewriting, Bayesian learning, probabilistic computation, lambda calculus, interactive semantics.

The focus of my reserach is the study of computation within a mathematical and proof-theoretical framework. The ambition of the community is to provide a sound foundation to new model of computation, and a powerful set of abstract tools for the study and development of programming languages.

Modern computation involves features, such as parallelism, concurrency, and effects (probabilistic , non-deterministic, and quantum effects being three notable examples). To be able to study such complex systems we need both to develop novels, suitable tools and techniques, and to build on a crisp, strong understanding of classical results.
I am interested in both aspects.

Currently, I am especially interested in higher-order Bayesian networks and in a proof-theoretical understanding of Bayesian learning in the light of linear logic and proof-nets, as well as in the development of semantical tools to support the analysis of probabilistic computation, such as probabilistic rewriting, probabilistic lambda-calculus and type systems.

Previously, I investigated interaction-based models of computation in a parallel setting, with parallelism intended as concurrency, but also as probabilistic and quantum parallelism (Geometry of Synchronization, and before, Ludics and Game Semantics)


Recent Publications

Please check DBLP. Most of my recent papers are available on ArXives

Old Publications: 1996--2010



TEACHING 2025-2026

M2 MPRI: