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


Frédérique Bassino, Cyril Nicaud, Pascal Weil. Random presentations and random subgroups: a survey. 2017.

Frédérique Bassino, Cyril Nicaud, Pascal Weil. On the genericity of Whitehead minimality. Journal of Group Theory, De Gruyter, 2016, 19 (1), pp.137-159.

Frédérique Bassino, Cyril Nicaud, Pascal Weil. Generic properties of subgroups of free groups and finite presentations. Delaram Kahrobaei, Bren Cavallo, David Garber. Algebra and Computer Science, 677, American Mathematical Society, pp.1-44, 2016, Contemporary Mathematics, 978-1-4704-2303-2.

Pascal Weil. From algebra to logic: there and back again -- the story of a hierarchy. Mikhail Volkov, Arseny Shur. Developments in Language Theory 2014, Aug 2014, Ekaterinburg, Russia. Springer, 8633, 2014, Lecture Notes in Computer Science.

Frédérique Bassino, Armando Martino, Cyril Nicaud, Enric Ventura, Pascal Weil. Statistical properties of subgroups of free groups. Random Structures and Algorithms, Wiley, 2013, 42, pp.349-373.


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