Types liquides pour les fonctions de flot

Titre du sujet de thèse
Types liquides pour les fonctions de flot
Thesis title
Liquid types for stream processing functions
Description du sujet de thèse / Full thesis description
Encadrant(s) / Supervisor(s) Discipline(s) Financements / Funding bodies
Talpin, Jean-Pierre
Informatique Institut national de recherche en informatique et en automatique (100 % , Demande en cours)
Contrat Doctoral Etablissement ALL (100 % , Demande en cours)
Unité(s) de recherche associée(s) / Associated research unit(s) :
Centre Inria Rennes - Bretagne Atlantique (INRIA Rennes)
Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA - CNRS)
Télécharger les descriptions complètes : Français : typesfr.pdf
English : Types'15.pdf

Candidatures closes depuis le / Candidates closed since : 15/8/2015

Site Internet de l'ED

Logo ED matisse

Etablissements co-accrédités

Logo Rennes 1


Logo Agrocampus

Logo ENS

Logo INSA

Logo Supélec

logo Telecom Bretagne

logo Rennes 2

Etablissements associés

Logo ENSAI