Pascal WEIL
Pascal Weil Directeur de Recherches (CNRS)

Équipe LaBRI : Méthodes formelles
Fonction administrative :
Page personnelle : http://www.labri.fr/~weil
Courrier électronique : pascal.weilarobaselabri.fr
Bureau : 362
Tél : +33 (0)5 40 00 84 23


Recherche

I. Applications de la théorie des automates à la modélisation, en particulier la modélisation du parallélisme : modèles algébriques
pour les langages d'arbres, de graphes, de traces.

II. Applications de la théorie des automates en théorie combinatoire des groupes : treillis des sous-groupes finiment engendrés d'un
groupe libre, et étude de la distribution statistique de certaines de leurs propriétés.

III. Fondements de la théorie des automates : étude de la hiérarchie d'alternance des quantificateurs au sein des langages de mots
finis FO2-définissables, caractérisation algébrique et décidabilité du rang d'un langage dans cette hiérarchie.

Extrait de publications













Administration

2011-2015 : directeur du LaBRI

2010-2014 : président du Conseil Scientifique de l'INS2I, CNRS

Comité de programme & Comité d'organisation

2009- Membre du comité éditorial de la série de proceedings électroniques LIPIcs (président 2009-2015)

2011- Membre du comité de pilotage de la conférence GAGTA

2015- Managing editor de la revue "Groups, Complexity and Cryptography"

Membre des comités éditoriaux des revues "Theoretical Informatics and Applications" et "Discrete Mathematics and Theoretical
Computer Science" (électronique)

Valorisation

2010-2014 FREC, projet ANR, coordinateur, 568 kE

2005-08, MODISTE-COVER, projet franco-indien P2R MAE/CNRS/gouvernement indien, coordinateur pour la France, 100 kE

2007-08, Automata and free groups, projet franco espagnol PICASSO, coordinateur pour la France


Page mise à jour le 13/08/2010 à 10:56