Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Cachan, Ecole normale supérieure (2)
  • Paris 11 (2)
  • Grenoble Alpes (1)
  • Montpellier 3 (1)
  • Paris 6 (1)
  • Paris Sciences et Lettres (1)
  • Rennes 1 (1)
  • Toulon (1)
  • Université de Carthage (Tunisie) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (7)
  • ARTS spécialité Etudes cinématographiques et audiovisuel (1)
  • Droit public (1)
  • Mathématiques (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • Ecole doctorale Informatique de Paris-Sud (2)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (2)
  • Mathématiques et Sciences et Technologies de l'Information et de la Communication (1)
  • École doctorale 58, Langues, Littératures, Cultures, Civilisations (Montpellier ; 2015-....) (1)
  • École doctorale Sciences mathématiques de Paris centre (1)
  • École doctorale Sociétés méditerranéennes et sciences humaines. ED 509 (Toulon) (1)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (4)
  • anglais (3)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Jensen Thomas (2)
  • Pouzet Marc (2)
  • Accart Hardin Thérèse (1)
  • Boulme Sylvain (1)
  • Bourke Timothy (1)
  • Larguèche Abdelhamid (1)
  • Marché Claude (1)
  • Monniaux David (1)
  • Poirson-Dechonne Marion (1)
  • Ravaz Bruno (1)
  • Schmitt Alan (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (8)
  • Droit (1)
  • Arts. Beaux-arts et arts décoratifs (1)

Domaines :

Fullscreen

10 thèses pour Compilation certifiée

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

Compilation optimisée et certifiée pour un processeur VLIW

par Cyril Six sous la direction de David Monniaux et de Sylvain Boulme. - Grenoble Alpes

Informatique

En préparation depuis le 08-02-2018
 thèse en cours de préparation
Mathématiques

En préparation depuis le 01-09-2016
 thèse en cours de préparation
Soutenance prévue le 16-03-2020
Informatique

Soutenue le 14-01-2013
thèse soutenue
ARTS spécialité Etudes cinématographiques et audiovisuel

Soutenue le 20-12-2018
thèse soutenue

Résultats 1 à 10