Url Redirector Modified

Cette page est mon ancienne page et n'est plus maintenue.

Merci de vous rendre sur : http://www.loria.fr/~amblard

Maxime Amblard



MdC, Nancy2 et Loria, Nancy, France

accueil | curriculum-vitae | publications | enseignement | recherche | divers | contact

 

Docteur en Informatique de l'université Bordeaux 1 (page dédiée à ma thèse)
Maître de conférences, université Nancy 2, équipe Calligramme Loria


Avant:

Stage post-doctoral chez Orange Labs (ex France Télécom R&D), équipe Tech/Easy/LN 

Qualifié aux fonctions de maître de conférences, session 2008 de la section 27 (informatique)

 

Brève présentation: 

J'ai effectué ma thèse au LaBRI, dans l'équipe Signes - Méthodes Formelles, sous la direction de Christian Retoré (LaBRI) et Alain Lecomte (université Paris 8). J'ai bénéficié d'une allocation MENRT puis d'un poste d'ATER à temps plein à l'ENSEIRB, où j'ai enseigné les fondamentaux de l'informatique (programmation impérative, algorithmique, preuve de programmes, etc.).


Mon domaine de recherche est la linguistique computationnelle. Ce néologisme angliciste désigne la partie commune au traitement automatique des langues (TAL), l'informatique formelle, ainsi que la linguistique formelle.

Ma thèse a pour sujet le calcul de représentations sémantiqueq à partir du résultat des analyses diteq syntaxiqueq obtenues à partir des Grammaires Minimaistes, définies par Ed Stabler. Afin de conserver l'isomorphisme de Curry-Howard, j'ai proposé un nouveau formalisme faiblement équivalent, basé sur la logique linéaire partiellement commutative. L'intégration de la modélisation sémantique dans le parser est une perspective de recherche.

J'ai effectué un stage post-doctoral de 11 mois chez Orange Labs (ex France-Télécom R&D), dans l'équipe Langue Naturelle. Le sujet de recherche est la proposition d'une formalisation des représentations sémantiques.

J'ai obtenu un poste de maître de conférences à l'université Nancy 2 pour la rentrée 2008. J'effectue mes recherches dans l'équipe Calligramme du Loria. Mes enseignements sont dispensés en licence et master miage et sciences cognitives.


Mots clés:
Linguistique Computationnelle - Logique linéaire - Théorie générative - Interface syntaxe-sémantique - Grammaires de Lambek - Grammaires Minimalistes - Grammaires Minimalistes Catégorielles - lambda-calcul - lambda mu-calcul.