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


Thomas Place, Varun Ramanathan, Pascal Weil. Covering and separation for logical fragments with modular predicates. Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2019. ⟨hal-02133930⟩

Diego Figueira, Varun Ramanathan, Pascal Weil. The Quantifier Alternation Hierarchy of Synchronous Relations. 2019. ⟨hal-02109188⟩

Pascal Weil. Computer Science Symposium in Russia, special issue. Pascal Weil. Theory of Computing Systems, 63 (4), Springer, 2019, 1432-4350. ⟨hal-02133976⟩

Pascal Weil. Computer Science – Theory and Applications, Proceedings of the 12th International Computer Science Symposium in Russia. Pascal Weil. Kazan, Russia. 10304, Springer, Lecture Notes in Computer Science, 2017, 978-3-319-58746-2. ⟨hal-02133968⟩

Olga Kharlampovich, Alexei Miasnikov, Pascal Weil. Stallings graphs for quasi-convex subgroups. Journal of Algebra, Elsevier, 2017, 488, pp.442-483. ⟨10.1016/j.jalgebra.2017.05.037⟩. ⟨hal-02133838⟩


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