|
Postal Address:
Office:
Loria, Bâtiment B, B246 |
Telephone:
+33 3 54 95 84 10
email:
|
I am a senior research scientist (Directeur de Recherche) at INRIA Nancy - Grand Est . I am Responsable Permanent for Projet Calligramme
Research Interests: My original training is in category theory, and my interests have forever been the foundations of computing. I have devoted several years to the study of the semantics of proofs, and especially the theory of proof nets, starting with linear logic, and including non-commutative and classical logic. Applications are to linguistic formalisms, and also to the semantics of concurrency. I am convinced more and more that the importance of the insights of linear logic come from its geometrical nature, and that the future progress in the field will only happen when more methods and ideas from geometry and topology are imported in computer science. This has led me in particular to write a little manifesto (in French).
I am site administrator of the two following ANR "programme blanc" joint research grants, where like-minded people can be found.
A comprehensive site on deep inference
is
here
.
This is a closely
related
workshop
for
which I was chairman.
And I was the organizer of
PSSL86
.
(with
Philippe
de Groote
):
Classical Non-Associative Lambek Calculus.
Studia Logica, 71.1 (2)
Postscript
gzipped
Postscript
(with
Rick Blute
and
Paul Ruet
):
Entropic Hopf Algebras and Models of Non-Commutative Logic.
Theory and
Applications of Categories, Vol. 10
Postscript
gzipped Postscript
On the Algebra of Structural Contexts:
Accepted for publication in Math. Struct. in Comp. Sci.
Pdf
Multiplicative Linear Logic and Fibrations:
CTCS 2002
in
Elec. Notes in Theoret. Comp. Sci.
Postscript
gzipped
Postscript
(with
Lutz
Strassburger
):
On Proof Nets for Multiplicative Linear Logic with Units:
CSL 2004
in
Springer Lect. Notes in Comp. Sci. 3210, pp. 145—159
Pdf
(with
Lutz
Strassburger
):
From Proof Nets to *-Autonomous Categories:
Logical Methods in Computer Science,
Vol. 2 (4:3)
Pdf
(with
Lutz
Strassburger
):
Naming Proofs in Classical Logic:
TLCA 2005
Pdf
(with
Lutz
Strassburger
):
Constructing Free Boolean Categories:
Expanded version of the LICS 2005 paper
(not a "journal version" yet!)
Pdf
Exploring the Gap betwen Linear and Classical Logic:
Theory and
Applications of Categories, Vol. 18
Pdf