LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » Actualité » Doctorants

GENITRINI Antoine

Habilitation à Diriger des Recherches
Équipe : APR

Combinatoire énumérative et analytique en Logique Propositionnelle et en théorie de la Concurrence

Ce mémoire présente des études combinatoires et algorithmiques de la logique booléenne et de la théorie de la concurrence. Bien qu'il ne semble pas y avoir de relation directe entre ces deux disciplines, la nature des études comporte des similarités. En effet, l'idée originelle est basée sur l'étude de la sémantique des modèles, qui aussi bien en logique qu'en théorie des langages, consiste à relier les structures syntaxiques (très souvent des arbres de syntaxe abstraite) et leur interprétation. Par ailleurs, mes approches des problèmes sont unifiées par la nature des questions qui me préoccupent mais aussi par les techniques utilisées issues de la combinatoire analytique.
Comment peut-on interpréter et quelle information peut-on obtenir d'une grande structure ? Mon but consiste, plus précisément, à interpréter les structures syntaxiques et sémantiques en tant que classes combinatoires pour obtenir des informations quantitatives et algorithmiques.
Nous allons nous concentrer sur les modèles combinatoires davantage que sur les applications. J'ai souhaité mettre en avant, les évolutions des modèles, en expliquant les apports de chaque caractéristique sur les résultats. J'ai montré de nombreux cas, pour lesquels un modèle plus complexe ne modifie ni fondamentalement les résultats obtenus, ni les approches permettant de les obtenir. Ces études, itératives, par brique de plus en plus complexe, permettent en conséquence aussi de comprendre la combinatoire d'un modèle plus évolué et les raisons essentielles qui font qu'une approche ou un algorithme ne peut finalement pas s'adapter.
Soutenance : 22/09/2017 - 13h30 - Site Jussieu 15-16/101
Membres du jury :
M. Michael DRMOTA- Professeur & Technische Universität Wien (Vienne)-Rapporteur
M. Arnaud DURAND- Professeur & Université Denis Diderot (Paris)-Rapporteur
M. Conrado MARTINEZ -Professeur & Universitat Politècnica de Catalunya (Barcelone)-Rapporteur

Mme Béatrice BERARD-Professeur & Université Pierre et Marie Curie (Paris)- Examinateur
M. Olivier BODINI- Professeur & Université Paris-Nord (Paris)- Examinateur
M. Alain DENISE -Professeur & Université Paris-Sud (Paris)- Examinateur
M. Jean MAIRESSE - Directeur de Recherche CNRS & Université Pierre et Marie Curie (Paris)- Examinateur
M. Cyril NICAUD- Professeur & Université Paris-Est, Marne-la-Vallée (Paris)- Examinateur
Mme Michèle SORIA-Professeur & Université Pierre et Marie Curie (Paris)- Examinateur

1 Doctorant (Direction de recherche / Co-encadrement)

  • PEPIN Martin : Génération aléatoire uniforme de trajectoires dans les systèmes concurrents
 Mentions légales
Carte du site |