Résultats 1 à 4

Dates de soutenance :


Etablissements :

Valider et fermer
  • Cachan, Ecole normale supérieure (1)
  • Paris 11 (1)
  • Paris Sciences et Lettres (1)
  • Rennes 1 (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (3)
  • Mathématiques (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • Ecole doctorale Informatique de Paris-Sud (1)
  • Mathématiques et Sciences et Technologies de l'Information et de la Communication (1)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (1)
  • École doctorale Sciences mathématiques de Paris centre (Paris) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • anglais (1)
  • français (1)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Pouzet Marc (2)
  • Bourke Timothy (1)
  • Jensen Thomas (1)
  • Schmitt Alan (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (4)

    Domaines :

    Fullscreen

    Compilation certifiée en sémantique squelettique

    par Louis Noizet sous la direction de Alan Schmitt - Rennes 1

    Informatique

    En préparation depuis le 29-11-2019
     thèse en cours de préparation
    Informatique

    Soutenue le 07-02-2013
    thèse soutenue
    Mathématiques

    En préparation depuis le 01-09-2016
     thèse en cours de préparation

    Résultats 1 à 4