Curriculum Vitæ
de Christian Retoré
Employment / emplois :
- 1983-1987 teaching aid /
surveillant d'externat, académie de Créteil
- 1987-1989 PhD grant / allocataire de recherche,
Equipe de Logique UFR de mathématiques, Université Paris 7 Denis
Diderot 1987-1989
- 1989 - 1990 research assistant Imperial College,
Formal Methods and Computing Theory Imperial (with Samson
Abramsky)
- 1991 maths teacher undergraduate / prof de
maths math sup ESTP Paris
- 1991-1993 teaching and research assistant / ATER
département de mathématiques , Université d'Angers
- 1993-1994 post-doc INRIA Sophia projet Meije (avec
Berry, Boudol)
- 1994-2003 INRIA research scientist
/ chargé de recherche INRIA (Nancy 94/97, Rennes 97/02, Bordeaux
02/03)
2000/2002 guest lecturer / en détachement maître de
conférences à l'université de Nantes
- 2003-2014 full professor / professeur des
universités, UFR maths-info, université de Bordeaux &
INRIA & LaBRI 2003-2014)
- 2014 full professor / professeur des universités (computer
science / section 27 informatique du CNU)
faculté
des sciences de l'université de Montpellier
depuis septembre 2014
membre du Laboratoire de
Recherche en Informatique, Robotique et Microélectronique de
Montpellier (LIRMM)
Diplomas /diplômes:
- Maîtrise de mathématiques pures (Université Paris 6
Pierre et Marie Curie)
- Diplôme d'Études Approfondies en mathématiques (Université
Paris 7 Denis Diderot — master thesis dir. J.-Y. Girard)
- Doctorat de mathématiques Réseaux et séquents
ordonnés soutenu le 26 février 1993 à l'université Paris 7
Denis Diderot
Directeur de recherche: Jean-Yves Girard
Rapporteurs: Anne Sjerp Troelstra, Jacqueline
Vauzeilles
Président: Jean-Louis Krivine Examinateurs: Jean-Jacques
Loeb, Jacques van de Wiele , Gilles Zémor
Qualifications maître de conférences par le conseil national
des universités dans les sections:
25: mathématiques pures 27: informatique 72:
épistémologie, histoire des sciences et des techniques
- Habilitation à Diriger des Recherches en informatique Logique
linéaire et syntaxe des langues soutenue à l'université
de Nantes, le 4 janvier 2002
Président Alexandre Dikovsky Rapporteurs: Gérard
Huet, Joachim Lambek, Michael Moortgat,
Examinateurs: Claire Gardent, Gilles Kahn, Jean-Xavier
Rampon, Olivier RIdoux
Qualifications professeur par le conseil national des
universités dans les sections:
27: informatique 7: sciences du langage 72:
épistémologie, histoire des sciences et des techniques
Research cursus:
I always have been interested in maths, logic and language
— in secondary school my favourite classes were maths, French
literature and philosophy.
I studied pure maths with a particular interest for
geometry and topology. During a 4th year lecture at UPMC i studied
the proof of Gödel incompleteness theorems, so i did the 5th year
in mathematical logic (proof theory, typed lambda
calculus, intuitionistic logic, category theory). My master thesis
was on the translation of second order lambda calculus (system
F) in linear logic.
During my PhD (in maths) worked on linear logic, proof nets,
denotational semantics in particular coherence spaces — especially
for non commutative linear logic à la Abrusci Lambek and pomset
logic introduced in my PhD.
The expected applications to theoretical computer science were
models of computation, concurrency (e.g. Petri nets).
I then discovered applications of linear logic to the
modelling of natural language syntax thanks to A. lecomte —
and this met some earlier interests in linguistics (and followed
some lectures in the eighties on linguistics an French literature).
I spent several years on variants and extensions of Lambek grammars
based on various kinds of linear logic that accounts for Chomsky
minimalist view of natural language syntax.
Of course the interest of such grammars lies in their
straightforward interface with logical / compositional
semantics, yielding higher order logical formulae using typed
lambda calculi. My habilitation (2002) was mainly devoted to lienar
logic and applciations to natural language syntax and to a lesser
extent to compositonal semantics.
However, compositional semantics accounts for the logical structure
of a sentence, "who does what", what is asserted, supposed,
refuted etc. but does not draw relations between word meanings, and
is able to interpret the meaning less grammatical sentence and does
not handle metaphorical meanings. So i worked on integrating lexical
semantics into compositional semantics, defining the Montagovian
Generative Lexicon.
I recently have the idea that meaning is related to justifications,
refutations and argumentations as can be seen in argumentative
dialogues and debates: i am defining a view of semantics
as argumentation inspired by proof theoretical
semantics, dialogical logic, natural logic. In particular how do we
express logical constructions in natural language (e.g.
quantification, negation) and, conversely, how can we analyse the
logical structure of a sentence, a monologue or, more
interestingly, a debate in natural language.
Some linguistic questions give rise to questions of mathematical
logic:
- mathematical modelling of natural language quantifiers (which
are more subtle than "for all" and " there exists")
- topological models of first order intutionnistic and modal
logic
- relation between type theories and higher order predicate
calculus
- identity, equivalences and quotients in type theories
Of course i would love to test — with the help of qualified
experimentators— my proposal with psycholinguistics experiments
on how we understand some linguistic constructions.
Some quotes / quelques citations
- "The more I think about language, the more it amazes me that
people ever understand each other at all." Kurt Gödel (1906-1978)
quoted by Hao-Wang
- "Le sens ne se produit jamais que de la traduction d’un
discours en un autre." Jacques Lacan (1901-1981),
L'étourdit, 1973
- "La logique et les mathématiques ne sont rien d'autres que des
structures linguistiques spécialisées." Jean Piaget (1896-1980)
- "Logic is not a body of doctrine, but a mirror-image of the
world. Logic is transcendental." Ludwig Wittgenstein
(1889-1951)
- "Contrariwise, if it was so, it might be; and if it were so,
it would be; but as it isn't, it ain't. That's logic." Lewis
Carroll (1832-1898)
- "Forse tu non pensavi ch'io loico fossi. [Lucifero]" Dante
Alighieri (1265-1321) Comedia, Inferno XXVII
Lucifer dit cela pour signifier qu'on ne peut expier par avance
une faute afin de pouvoir la commettre impunément par la suite.
Une traduction pourrait être: "sans doute ne savais tu pas
que j'étais aussi bon logicien".
- "Consequently he who wishes to attain to human perfection,
must therefore first study Logic, next the various branches of
Mathematics in their proper order, then Physics, and lastly
Metaphysics." Maimonides (1135-1204)
- "Ma soeur Héloïse, toi qui m'étais autrefois si chère dans le
siècle et qui m'es aujourd'hui plus chère encore en
Jésus‑Christ, la logique m'a rendu odieux au monde. Des pervers
qui pervertissent tout et dont la sagesse est toute occupée à
nuire disent que je suis le plus habile de tous en
logique, mais que dans mon commentaire sur Saint Paul, mon
pied a trébuché." Pierre Abélard (1079-1142)
- "Tout personne niant le principe de non contradiction devrait
être battue et brulée jusqu’à ce qu’elle admette qu’être
battu n’est pas la même chose que ne pas être battu, et
qu’être brulé n’est pas la même chose que ne pas être
brûlé" Avicenne (980-1037) en réponse à des
religieux s'opposant au principe de non contradiction.
- "I'm not signifying." (Mick Jagger, Keith Richards, and on
piano, Nicky Hopkins, 1972).