Up      (retour à la page de présentation de l'Equipe)

Complexité, Logique et Informatique

Responsable: Arnaud Durand

Membres permanents

Sedki BOUGHATTAS Maître de Conférence
Arnaud DURANDProfesseur
Olivier FINKEL Chercheur au CNRS
Hervé FOURNIER Maître de Conférence
Guillaume MALOD Maître de Conférence
Pascal MICHEL Maître de ConférenceIUFM de Versailles
Alain PROUTE Maître de Conférence

Autres Membres

David DURISPostdoctorant
Richard LASSAIGNE Maître de ConférenceRetraité
Michael PINSKERPostdoctorant
Alexandre RAMBAUD
Jean-Pierre RESSAYRE Directeur de Recherche au CNRSRetraité

Etudiants en Thèse

Florent Capelli
Nicolas de Rugy-Altherre


Thèmes de Recherche



Complexité Structurelle : Problèmes d'Enumération et de Comptage

Mots clés : complexité algorithmique, problèmes de requêtes et bases de données, complexité descriptive.

Automates, Logique, Complexité Topologique et Jeux Infinis

Mots clés : Langages de mots ou d'arbres infinis acceptés par diverses machines finies; complexité topologique; théorie descriptive des ensembles; modèles de la théorie des ensembles; jeux infinis; existence de stratégies gagnantes effectives dans ces jeux.

Structures Automatiques

Mots clés : Etude des structures algébriques présentables par divers automates (sur mots ou arbres infinis); liens avec la théorie des ensembles.

Informatique et Théorie des Modèles

Mots clés :

Informatique et Théorie des Topos

Mots clés :

Complexité: Vérification Probabiliste et Vérification

Mots clés :


Pour plus de détails sur nos activités et notre recherche, on pourra consulter la description donnée dans le rapport d'équipe portant sur la période 2007-2009.