projet :
CROAP
Précédent : Enseignement universitaire
Remonter : Diffusion de résultats Suivant :
Participation à
des colloques, séminaires
Sous-sections
Thèses et stages
- 1.
- Antonia Balaa, « Étude des fonctions récursives non
structurelles », université de Nice Sophia Antipolis, à partir
de novembre 1998, dirigée par Yves Bertot.
- 2.
- Yann Coscoy, « Explication textuelle de preuves »,
université de Nice-Sophia Antipolis, depuis octobre 1995,
dirigée par Gilles Kahn.
- 3.
- Laurent Chicli, « Formalisation de la géométrie algébrique
en théorie des types, applications à la méthode d'Horace pour
l'interpolation polynomiale à plusieurs variables », depuis
novembre 1998, dirigée par Loïc Pottier.
- 4.
- Carine Courbis, « Environnement de développement et
vérification pour JavaCard », université de Nice-Sophia
Antipolis, à partir de novembre 1998, dirigée par Isabelle
Attali.
- 5.
- Mohammed Sémi Gaïeb, « Outils d'aide à la programmation
parallèle asynchrone », université de Nice-Sophia Antipolis,
depuis octobre 1997, dirigée par Thierry Despeyroux.
- 6.
- Guillaume Gillard, « Sémantique Naturelle et Coq: vers la
spécification et les preuves sur les langages à objets »,
université de Paris VII, depuis octobre 1997, dirigée par
Joëlle Despeyroux.
- 7.
- Romain Guider, « Représentation data-flow de programmes à
objets pour une parallélisation semi-automatique », université
de Nice-Sophia Antipolis, depuis novembre 1996, dirigée par
Isabelle Attali.
- 8.
- Stéphane Lavirotte, « Reconnaissance optique de formules
mathématiques », depuis décembre 1995, dirigée par Loïc Pottier
(thèse interrompue un an pour le service militaire).
- 9.
- Pierre Leleu, « Syntaxe fonctionnelle et récursion dans les
théories typées », École Nationale des Ponts et Chausséees,
Paris, depuis octobre 1995, dirigée par Joëlle Despeyroux.
- 10.
- Olivier Pons, « Aide au développement de grandes théories
réutilisables dans les systèmes de preuve interactifs »,
Conservatoire National des Arts et Métiers, depuis novembre
1995, encadrée par Laurence Rideau.
- 11.
- Christophe Roudet, « Conception et implémentation d'un
langage sémantique pour les transformations de programmes »,
université de Nice-Sophia Antipolis, depuis novembre 1995,
dirigée par Isabelle Attali.
- 12.
- Marjorie Russo, « Sémantique et outils de vérification pour
le langage Java », depuis septembre 1997, dirigée par Isabelle
Attali.
- 1.
- Antonia Balaa, « Outils de preuve pour les fonctions
récursives », stage de DEA d'Informatique de l'université de
Nice-Sophia Antipolis.
- 2.
- Benjamin Blanc, Benjamin Grégoire, « Certification d'un
analyseur syntaxique et d'un afficheur pour les polynômes »,
stage de maîtrise de l'université de Nice-Sophia
Antipolis.
- 3.
- Carine Courbis, « Simulation d'applications Java Card »,
stage de DEA DIL, École Normale Supérieure de Lyon.
- 4.
- Marianne Durand, « Manipulation directe en preuve
interactive », stage de première année du magistère de l'École
Normale Supérieure de la rue d'Ulm.
- 5.
- Loïc Henry-Gréard, « Préservation des types pour le
pi-calcul en Coq », stage de DEA de l'université de Paris
VII.
- 6.
- Pierre Letouzey, « Algorithme certifié de Stålmark », stage
de première année du magistère de l'École Normale Supérieure de
la rue d'Ulm.
- 7.
- François Maurel, « Factorisation de polynômes à
coefficients dans un corps fini », stage de première année du
magistère de l'École Normale Supérieure de la rue d'Ulm.
Précédent : Enseignement universitaire
Remonter : Diffusion de résultats Suivant :
Participation à
des colloques, séminaires