Précédent : Thèses Remonter : Formation Suivant : Références
Le projet a accueilli les stagiaires suivants :
- Salimeh Benhia, ``Contrôle d'exécution en sémantique
naturelle'', DEA d'Informatique Fondamentale, Université de
Nice, 9 mois.
- Frédéric Bellot et Frédéric Dendievel, ``Séparation du
contrôle dans les interfaces homme-machine'', troisième année
de l'ESSI, 6 mois.
- Romain Guider, ``Spécification de la parallélisation de
programmes Sisal'', DEA d'Informatique Fondamentale, Ecole
Normale Supérieure de Lyon, 4 mois.
- Ali Jaber, ``Spécification de la sémantique dynamique du
langage Sisal'', DEA d'Informatique Fondamentale, Université de
Nice-Sophia Antipolis, 9 mois.
- Sylvain Lippi, ``Environnement de mise au point de
programmes Eiffel'', Stage de première année, ES2I Marseille, 2
mois.
- Patrick Loiseleur, ``Explications interactives d'inférence
de types'', stage de première année de magistère MMFAI, 2
mois.
- Laurent Ravel, ``Mise au point pas-à-pas et expressions
régulières'', DEA d'Informatique Fondamentale, Université de
Nice-Sophia Antipolis, 9 mois.
- Patrice Rosier, ``Développement d'un environnement de
programmation Centaur pour Maple'', DEA Calcul et Déduction,
Université de Nice-Sophia Antipolis, 4 mois.
- Christophe Roudet, ``Visualisation graphique incrémentale
par évaluation d'attributs'', DEA d'Informatique Fondamentale,
Université de Nice-Sophia Antipolis, 9 mois.