Nathan Grosshans

Doctorant, ENS Cachan & UdeM

À propos de moi

Courte présentation

Je suis doctorant en co-tutelle internationale depuis le 15 septembre 2014 à l'Ecole Normale Supérieure de Cachan, sous la direction de Luc Segoufin au sein du Laboratoire Spécification et Vérification (LSV) d'une part ; et à l'Université de Montréal, sous la direction de Pierre McKenzie au sein du Laboratoire d'Informatique Théorique et Quantique (LITQ) d'autre part.

Documents

Recherche

Sujet de thèse

Titre

Applications et limites de minorants récents pour les programmes de branchement.

Domaines

Théorie de la complexité algorithmique, théorie des automates, logique.

Résumé

Le but de la complexité algorithmique est de classifier des problèmes algorithmiques en fonction des ressources nécessaires à leur résolution. Le défi qui se pose est souvent le problème de la borne inférieure : étant donné un problème et une stratégie le résolvant d'apparence optimale, confirmer cette intuition en donnant une démonstration mathématique formelle qu'il n'existe pas de meilleure stratégie. Une multitude de travaux se sont récemment concentrés sur le modèle de calcul des programmes de branchement. Le but de ce projet est

  1. d'amener ces résultats plus loin ;
  2. d'expliquer les limites de ces méthodes et
  3. de combiner ces méthodes (en particulier celles liées au problème d'évaluation d'arbre) avec les techniques développées pendant la dernière décennie pour saisir la puissance des modèles d'automates d'arbres et leurs caractérisations logiques précises.

Publications

Voir ma liste de publications.

Enseignement

Dans le cadre de mon doctorat, j'effectue une mission d'enseignement à l'ENS Cachan.

2016-2017

Projet programmation 2 (1A Informatique)

Projet
Cours

Projet base de données (1A Informatique)

Projet

Sujet

Cours

TP de calcul formel (M2 FESUP Mathématiques, option C)

01/25 : Complexité

2015-2016

Projet base de données (1A Informatique)

2014-2015

Soutien (1A Informatique)

Initiation à LaTeX

Génie logiciel (2A Informatique)

TP de calcul formel (M2 FESUP Mathématiques, option C)

03/17 : Énumération du groupe symétrique
03/24 : Élimination

À propos du LSV

Contact

Nathan Grosshans
Adresse
LSV, CNRS & ENS de Cachan
61, avenue du Président Wilson
94235 CACHAN Cedex, France
Bureau
4ème étage, Bâtiment d'Alembert
Tél.
+33 (0)1 47 40 22 69
Fax
+33 (0)1 47 40 75 21
Secr.
+33 (0)1 47 40 75 20
E-Mail
first_name.last_name@lsv.ens-cachan.fr