Abstraction de Kleene  Algorithmes  Algorithmes biologiques  Algorithmes d'approximation  Algorithmes distribués  Algorithmes parallèles  Algèbre homotopique  Algèbre profinie  Allocateur de mémoire dynamique  Analyse combinatoire énumérative  Analyse dynamique  Arbres non enracinés  Authentification  Automate à surpile  Automates de Mealy  Automates mathématiques, Théorie des  Automates à pile  B  Bifibration de Grothendieck  Bijection  Bijections  Bioinformatique  Bornes inférieures  Burnside, Problème de  Calcul distribué sur réseau  Cartes combinatoires  Catégorie de modèles  Catégorification  Certification locale  Chaînes de Markov combinatoires  Circuits arithmétiques  Code source  Combinatoire  Combinatoire analytique  Combinatoire des mots  Communication bruitée  Complexité algébrique  Complexité de calcul  Complexité moyenne  Compression  Conception centrée sur l'utilisateur  Concurrence  Conjecture PCP quantique  Constellations  Contrôle de la granularité  Coq  Coq  Cryptographie  Diffusion de l'information  Différences de programmes  Dirichlet, Séries de  Dissémination d’informations  Distributions, Théorie des  Données -- Compression  Dualité de Stone  Décision distribuée  Décomposition  Délégation de calcul quantique  Effets de bord  Ensemble régulier  Equation de Tutte  Espaces compacts  Espaces vectoriels  Espèces de structures  Fibrations  Fonction de récurrence  Fractions continues  Graphes, Théorie des  Groupe de dimension  Groupes moyennables  Groupes simples finis  Génération aléatoire  Homotopie  Hyper-propriétés  Idempotents  Information centric networking  Information, Théorie de l'  Informatique quantique  Inférence de types  Interpolation uniforme  Interprétation abstraite  Intersection séquentielle  Isomorphisme de Curry-Howard  Isomorphismes  Jeux de parité  Jeux de priorité  Jonglerie  LTL  Lambda-calcul  Langages de programmation -- Sémantique  Langages de programmation  Lempel-Ziv  Logarithme continu  Logiciels -- Vérification  Logiciels  Logique d'ordre supérieur  Logique de seuil  Logique du premier ordre  Logique informatique  Logique intuitionniste  Logique linéaire  Logique linéaire différentielle  Logique monadique du second ordre  Logique relationnelle  L’encodage des références  Markov, Processus de  Mathématiques  Modalité  Modèle probabiliste  Modèles mathématiques  Monade de codensité  Monoïdes  Mots de Sturm  Mots de passe  Multi-party Information Complexity  Multichemin  Méthodes formelles  Nombres de Catalan  Nombres, Théorie probabiliste des  Non-idempotence  Normalisation  Objective Caml  Opérades  Opérades cycliques  Opérateurs de transfert  Ordinateurs -- Programmation  PI-algèbres  Pointeur de pile  Polyèdres  Pretopos  Preuves mécanisées en Coq  Preuves quantiques  Probabilités combinatoires  Probabilités invariantes  Problème des Hamiltoniens locaux  Problèmes de décision  Programmation fonctionnelle  Programmation parallèle  Programme concurrent  Protocoles de réseaux d'ordinateurs  Protocoles de vote  Prototype verification system  Prédicat  Psychométrie  Public Information Complexity  Quantificateurs  Raffinement modulaire  Recherche robuste  Routage  Réduction non-productive  Réduction productive  Réseaux d'automates à pile synchronisés  Réseaux d'ordinateurs  Réseaux de communication entre ordinateurs  Réseaux de preuve  Réseaux multihomés  Réseaux poste à poste  SDN  Schéma d'étiquetage de preuve  Semi-anneaux  Semigroupes  Simplexes  Simplexes de Choquet  Simulation numérique  Sommes de Riemann  Sous-shifts  Sous-typage  Sous-typage par prédicats  Structures de données  Structures de données simultanées  Synchronisation  Systèmes de types  Systèmes dynamiques  Systèmes hamiltoniens  Systèmes informatiques -- Mesures de sûreté  Systèmes stochastiques  Systèmes à pile  Sémantique  Sémantique dénotationnelle  Sémantique opérationnelle  Sémantiques non-strictes  Tas de sable stochastique  Test d’identité polynomiale  Théorie de la démonstration  Théorie des jeux  Théorie des langages  Théorie des types  Théorème de cohérence  Théorème de l’application ouverte  Théorèmes taubériens  Tolérance aux fautes  Topologie  Transduction  Triangulation  Typage graduel  Typage infinitaire  Types abstraits de données  Types intersections  Types union  Utilisabilité de la sécurité  Vérification de modèles  

30 thèses soutenues ayant pour partenaire de recherche Institut de recherche en informatique fondamentale (Paris)
Extrait des plus récentes :

Informatique
Soutenue le 21-06-2019
thèse
Informatique. Informatique fondamentale
Soutenue le 14-03-2019
thèse
Informatique. Informatique théorique
Soutenue le 07-12-2018
thèse
Informatique. Informatique fondamentale
Soutenue le 30-11-2018
thèse

Informatique. Informatique fondamentale
Soutenue le 25-09-2018
thèse
Informatique. Informatique fondamentale
Soutenue le 20-09-2018
thèse
Mathématiques. Logique et fondements de l'informatique
Soutenue le 18-09-2018
thèse
Mathématiques. Logique et fondements de l'informatique
Soutenue le 10-09-2018
thèse
Informatique. Modélisation et vérification
Soutenue le 10-09-2018
thèse
Informatique
Soutenue le 03-07-2018
thèse
Informatique. Combinatoire
Soutenue le 15-06-2018
thèse
Informatique. Informatique fondamentale
Soutenue le 27-04-2018
thèse
Mathématiques. Logique et fondements de l'informatique
Soutenue le 10-04-2018
thèse
Informatique
Soutenue le 12-12-2017
thèse
Mathématiques. Logique et fondements de l'informatique
Soutenue le 01-09-2017
thèse
Mathématiques. Combinatoire
Soutenue le 12-12-2016
thèse