Université de Paris
75205 PARIS Cedex 13
Email : faggian AT irif.fr
I work on rewriting, probabilistic computation, proof theory, 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 models 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 are all examples). To be able to study such complex systems
we need both to develop suitable new techniques, and to build on a crisp, strong understanding of classical results.
I am interested in both, focussing on rewriting.
Currently, I am especially interested in the development of theoretical tools to support the analysis of
probabilistic computation, and its operational properties. I work on probabilistic rewriting and probabilistic lambda-calculus.
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)
Most of my recent papers are available on ArXives