Précédent : Résultats nouveaux Remonter : Projet CRISTAL, Programmation typée, modularité Suivant : Actions régionales, nationales et internationales
Précédent : Résultats nouveaux
Remonter : Projet CRISTAL, Programmation typée,
modularité Suivant : Actions régionales, nationales et
internationales
Les activités de François Rouaix sur le navigateur MMM et les applets en Objective Caml, son travail commun avec Xavier Leroy sur la sécurite des applets et le travail de Valérie Ménissier-Morain sur la certification des protocoles cryptographiques ont lieu dans le cadre de l'action VIP code mobile. Valérie Ménissier-Morain a été Ingénieur-Expert, financé par Dyade.
François Rouaix a participé à la revue de code du logiciel de vol de la fusée Ariane, en vue de la qualification du logiciel pour le deuxième lancement (A502).
Les activités d'Erwan David, Xavier Leroy et Michel Mauny sur les cartes à puce Java ont lieu dans le cadre de l'action VIP JavaCard. Erwan David est Ingénieur-Expert financé par Dyade.
Le travail de François Pessaux sur l'analyse d'exceptions de programmes Objective Caml est financé par le CNET. Le contrat est en cours de signature. Guy Cousineau et Xavier Leroy ont donné un cours de formation au langage Objective Caml au CNET Lannion en janvier 1997.
Une nouvelle activité doit débuter fin 1997 en collaboration avec Marc Pouzet du laboratoire LIP6 de l'Univ. Paris 6. Le sujet est l'adjonction de synchronisme dans les langages fonctionnels. Nous devons accueillir un nouveau doctorant sur le sujet. Ces activités seront financées par le CNET, sur trois ans. Le contrat est en cours de signature.
Christian Queinnec a été consultant auprès de la société Sagem durant l'année 97. Il est également conseiller auprès d'un groupe de travail du CEA sur la sémantique d'un langage d'extension de bibliothèques de calcul [19].
Précédent : Résultats nouveaux
Remonter : Projet CRISTAL, Programmation typée,
modularité Suivant : Actions régionales, nationales et
internationales