Knowledge Tree

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