Cédric Pasteur
| Je suis doctorant dans l'équipe PARKAS du LIENS, sous la direction de Marc Pouzet. Mon but est de créer un langage synchrone réactif fonctionnel adapté pour la simulation de systèmes de très grande taille, en partant du langage ReactiveML créé par Louis Mandel. Mon travail concerne autant les aspects théoriques (sémantique, typage) que l'implémentation parallèle et distribuée. |  |