Bourreau Pierre


Ph.D student
SIGNES Project - INRIA Sud-Ouest


Contact:

pierre-d-bourreau-a-labri-d-fr    (where d and a stand for dot and at respectively...)

Address:
LaBRI - Université Bordeaux 1
351, Cours de la Libération
33405 Talence Cedex

me



Research

Keywords: Abstract Categorial Grammar, Lambda-Calculus, Linear Logic, Game Semantics, Typing Theory, Formal Grammars

I am currently preparing a Ph.D at the Université Bordeaux 1, under the supervision of Christian Retoré and Sylvain Salvati. I am particlarly interested in Abstract Categorial Grammars (ACG), a formalism proposed by Philippe de Groote, in which syntax and semantics are both represented as the result (Object Grammar) of morphisms' application on a representation of the grammatical form of the lexicon (Abstract Grammar). The formalism basically relies on the use of linear lambda-terms (i.e. lambda-terms where bound variables appear exactly once). While ACG were first studied for their facility of encoding different well-known formalisms (Tree-Adjoining Grammars, Linear Context Free Rewriting Systems, Multiple Context Free Grammars, etc...), which are known to generate mildly-context sensitive languages, Makoto Kanazawa then proposed a method for Parsing and Generation, where some specific ACGs (second-order ACGs) are encoded as Datalog programs and databases. Although ACG originally kept the use of linear logic, Kanazawa showed that it is possible to relax this constraint to some specific lambda-terms: almost-linear lambda terms. My current investigations focuses on relaxing even more this constraint, and to look at the linguistic gains.

Short Curriculum

  • 2007-???: Ph.D student - Université Bordeaux 1
  • 2006-2009: Diploma de Estudios Avanzados in Artificial Intelligence - Universitat Politècnica de Catalunya (Barcelona, Spain)
  • 2004-2006: Software Engineer - CardBASE (Dublin, Ireland)
  • 2002-2004: Engineering studies in Applied Mathematics and Computer Sciences - ENSEEIHT (Toulouse, France)
During my years in Barcelona, I worked under the supervision of Glyn Morrill on studying parsing for the Lambek calculus, and on proof-nets for the Discontinuous Lambek calculus with two points of discontinuity.

Teaching

  • 2007-2008: Travaux Pratiques MSI102 - Université Bordeaux 1 - Licence 1
  • 2008-2009:
    • Cours Théorie des Langages Formels - IUT Bordeaux 1 - S4
    • Encadrement Projet Programmation - IUT Bordeaux 1 - S2
    • Cours Théorie des Langages Formels - IUT Bordeaux 1 - AS2
  • 2009-2010:

Other activities