Skip to Content

Étienne Grandjean

Portrait de Étienne Grandjean

Présentation

Prénom Nom
Étienne Grandjean
Téléphone
+33 (0)2 31 56 73 34
Statut
PR
Equipes d'appartenance
amacc
Courriel
etienne.grandjean@unicaen.fr
N° Bureau
S3-355
Adresse postale
Université de Caen, Campus II, Bd Maréchal Juin, BP 5186, 14032 Caen cedex, France
Responsabilités

 

• Directeur du laboratoire GREYC, membre de l’équipe AMACC du GREYC

 

• Responsable du thème « Logique, Modèles de Calcul et Complexité » de l’équipe AMACC

 

 

URL laboratoire
https://www.greyc.fr/users/grandjean
URL complémentaire
https://grandjean.users.greyc.fr/

Activités scientifiques

Thèmes de recherche

• Etude des modèles de calcul, RAM et automates cellulaires, dans le cadre de la complexité algorithmique et, tout particulièrement, de la complexité en temps linéaire
Liens entre la complexité algorithmique et la logique : théorie des modèles finis et complexité descriptive
Complexité des problèmes d’énumération, tout particulièrement, pour l’énumération des requêtes dans les bases de données
 

Encadrement

Mes thésards et anciens thésards :
• Solomampionona Ranaivoson

Nadia Creignou

Arnaud Durand

Frédéric Olive

Jean-Marie Le Bars

Florent Madelaine (directeur de thèse principal : Iain Stewart)

Régis Barbanchon

• Philippe Chapdelaine (codirectrice : Nadia Creignou)

Guillaume Bagan
• Johann Brault-Baron (en thèse depuis octobre 2009)
 

 

Coopérations, collaborations

Responsable pour le GREYC du projet ANR ENUM 2007-2011

Mots-clefs
Complexité, Modèles de Calcul, Logique, Algorithmes en Temps Linéaire

Productions, ressources

Publications

Liste de mes publications dans DBLP 

Enseignement

Enseignement

 

J’enseigne actuellement

• en Master Informatique 1ère année
les modules de Méthodes Algorithmiques et de Calculabilité et Complexité

• en Master Algorithmes et Modèles de l’Information 2ème année
 le module d’Outils Formels