Disciplines Institutions Contribute Search
Add Thesis Add Researcher Add Institution
researcher / Emmanuel Chailloux

Emmanuel Chailloux

at_id:

orcid_id:

Disciplines:

Computer sciences
Edit Merge See Links

Directed Thesis:

Programmation impérative par raffinements avec l'assistant de preuve Coq
Analyse statique de programmes concurrents avec variables numériques
Programmation Web Réactive dans un cadre typé statiquement pour l'orchestration de contenus multimédia riches
Analyse de sécurité de logiciels système par typage statique
Abstractions performantes pour cartes graphiques
Langages applicatifs et machines abstraites pour la couverture de code structurelle
Programmation web typée
Typer la désérialisation sans sérialiser les types
Langages fonctionnels, typage et interopérabilité : objective Caml sur .net
Réplications distribuées pour la définition des intéractions de jeux massivement multi-joueurs