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 finiment présenté, et étude de la distribution statistique de certaines de leurs propriétés.

III. Fondements de la théorie des automates : interactions entre algèbre, logique et combinatoire dans l'étude des langages et des
transducteurs.

Encadrement

Ramanathan, Varun, 2021, doctorant MENRT, Université de Bordeaux, co-encadré avec Diego Figueira (CNRS, LaBRI)

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. International Symposium on Mathematical Foundations of Computer Science (MFCS), Aug 2019, Aachen, Germany. pp.29:1-29:14, ⟨10.4230/LIPIcs.MFCS.2019.29⟩. ⟨hal-02109188v2⟩

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⟩

Frédérique Bassino, Cyril Nicaud, Pascal Weil. Random presentations and random subgroups: a survey. 2017. ⟨hal-01456207v2⟩


Administration

2017- : directeur de l'UMI franco-indienne ReLaX

2011-2015 : directeur du LaBRI

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

Comité de programme & Comité d'organisation

2018- : Président du conseil scientifique du GdR Informatique Mathématique

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

2011- : Membre du comité de pilotage de la conférence GAGTA (président depuis 2017)

Membre des comités éditoriaux des revues "Theoretical Informatics and Applications", "Semigroup Forum" et "International Journal of
Algebra and Compoutation"


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