Vincent Balat

 DemoLinux : Linux installé sur le CD, pour l'utiliser n'importe où!

Centre de remise de Windows d'impôt: Pour vous faire des Windows de remboursement, cliquez ici.

 Études:

Bonjour,

Je suis élève en la quatrième année à l'école de formation plus haute de professeur de Cachan , dans la thèse de l'informatique avec l'cEns de Paris .

Serveurs des pupilles:

 Recherche:

Je travaille actuel avec Olivier Danvy (Aarhus, Danemark) sur l'évaluation partielle dirigée par les types dans Caml objectif, et avec Didier Galmiche (Loria, Nancy, France) et Roberto Di Cosmo sur l'intuitionalist linéaire de logique.

 Publications:
Vincent Balat et Olivier Danvy. Normalisation forte par évaluation de Partial Type-Directed et génération de codes de délai d'exécution. Tic ' 98 Démarches, Lncs 1473, 1998.

Pour avoir l'amusement:

 Vol-avec-voile:

Je fais le sailplane, dans Cholet Flight-with-Veil.

 L'informatique:
 Musique:
 Amis:
 Utile:
 Images:

Pour m'envoyer un mél : Vincent.Balat@ens.fr