Alessio Guglielmi's Research and Teaching / Deep Inference / People and Places

## Deep Inference

People and Places

The initial development of deep inference (actually, of system BV) took me several years, the first five of which spent in recycling paper. I started at University of Pennsylvania (1994), then went on at Università di Pisa (1994-97) and INRIA Lorraine (1997-98), and then at Technische Universität Dresden, where I worked until 2005. I am now at INRIA Nancy-Grand Est, on leave from the University of Bath.

The following persons profoundly influenced deep inference:

- Jean-Yves Girard (before he was promoted to !Girard by some fellow ?logicians): I took from him the conviction that there are deep geometrical phenomena at the basis of proof theory, and I found inspiration in linear logic.
- Giorgio Levi and Dale Miller: Giorgio made me read and work on Dale's papers, where I could find excellent design of logical systems.
- Christian Retoré: he made me interested in the strange properties of self-duality and non-commutativity and their challenge to proof theory, and he also pointed me to N-free orders, which is where everything started finally to work and make sense.

At TU Dresden I found three bold, extraordinary students: Kai Brünnler, Lutz Straßburger and Alwen Tiu. They risked their future careers to come to work on this project when nobody sane could bet on its success.

Last, but not least, I'd like to acknowledge the Scuola Normale Superiore for the excellent education it tried to give me, at a time when I didn't know that proof theory existed, nor did I know the value of education.

6.10.2009Alessio Guglielmiemail