Quatrini Myriam

42 ans

Position : Maître de Conférences en Mathématiques, Membre de l’Institut de Mathématiques de Luminy’
Adresse Professionnelle : Département de Mathématiques, Faculté des Sciences de Luminy, Case 901,163 Av de Luminy, 13 288 Marseille cedex 9
Email : quatrini@iml.univ-mrs.fr tel : 04 91 26 96 36

CURSUS

• Phd Thesis : Doctorat de Mathématiques, dirigée par G. Blanc,, janvier 1995, Faculté des Sciences de Luminy,
• D.E.A. de Mathématiques Pures de l’Université de Provence, juin 1991

RESPONSABILITES

• Enseignante au Département de Mathématiques de la Faculté des Sciences de Luminy (et co-responsable de la mention MASS de la Licence Sciences et Technologies)
• Membre de l’I.R.E.M. d’Aix-marseille (Directrice de l’I.R.E.M. d’Aix-Marseille d’octobre 2001 à octobre 2004)
• Chercheur à l’Institut de mathématiques de Luminy, dans l’équipe « Logique de la Programmation »
• Responsable scientifique du site partenaire Marseille pour le projet A.N.R. Prélude

RECHERCHE
Depuis mon recrutement comme Maître de Conférences en Mathématiques à l’Université Aix-Marseille 2, je suis membre de l’institut de Mathématiques de Luminy et j’effectue mes recherches au sein de l’équipe « Logique de la Programmation » Mes sujets de recherches se situent en Théorie de la Démonstration et plus particulièrement en Logique Linéaire et en Ludique. Depuis un certain nombre d’années, je m’intéresse également à la Linguistique Computationnelle. Actuellement, tout en poursuivant un travail mathématique sur la Ludique et en particulier ses liens avec la nouvelle Géométrie de l’Interaction dans les algèbres d’opérateurs que J.-Y. Girard développe actuellement, j’étudie la transposition des concepts novateurs de la Ludique pour l’étude des langues naturelles.

PUBLICATIONS (cinq parmi les plus significatives des cinq dernières années)

• M.-R. Fleury, M. Quatrini : First order in Ludics, in Mathematical Structures in Computer Science 14,no 2, 189—213, 2004.
• C. Faggian, M.-R. Fleury, M. Quatrini : Introduction to uniformity in Ludics, in Linear Logic in Computer Science , 236—246 London Mathematical Society, Lectures Notes Series 316. Cambridge University Press. 2005.
• M.-R. Fleury, M. Quatrini : A mixed Lambda-Calculus, in Categorial grammars and pregroups special issue of Studia Logica 87.2/3, 2007.
• A. Lecomte, M. Quatrini : Ludics and its applications to Natural Language Semantics, proceedings of Wollic 09, Tokyo, Japan, (Workshop on Logic, Language, Information and Computation), Springer, LNAI n° 5514, pp 242-256, 2009,
• A. Lecomte, M. Quatrini : Ludics and Rhetorics, Actes de PRELUDE, Springer, LNCS, LNAI-Folli, to appear,