Next: Enseignement
Up: Eléments d'appréciation de l'activité
Previous: Participations à l'évaluation de
Nous donnons uniquement la liste des thèses soutenues
ou dont la soutenance est prévue
entre 1994 et 1997 et dirigées par un membre du laboratoire.
Toutes ces thèses ont donné lieu à publication.
- Michel Bidoit
- Mourad Debabi,
Intégration des paradigmes de programmation parallèle,
fonctionnelle et impérative: fondements sémantiques
Université Paris-Sud,
juillet 94
(co-encadrement avec D.Bolignano, BULL)
- Pierre-Louis Curien
- Antonio Bucciarelli,
Études sur la séquentialité et la stabilité forte
[192]
Université Paris VII,
soutenue en septembre 94
(Ricercatore, Univ. Roma I).
- Carolina Lavatelli,
Sémantiques du Lambda-calcul avec ressources
[195]
Université Paris VII,
soutenue en janvier 96
(Post-doc, LIENS).
- Patrick Cousot
- Bruno Monsuez,
Typage par interprétation abstraite
[276]
École Polytechnique,
soutenue en février 94
- Éric Goubault,
La géométrie du parallélisme
[275]
École Polytechnique,
soutenue en novembre 95
- François Fages
- Jean Jourdan,
Concurrence et coopération de modèles multiples dans les langages
CLP et CC: vers une méthodologie de programmation par modélisation
Université Paris VII,
soutenue en février 95
- Julian Fowler,
Extension réactive de la programmation logique avec
contraintes et applications en optimisation combinatoire
Université Paris XI,
soutenue en avril 95
- Thierry Sola,
Compilation de Prolog et de ses extensions : contraintes,
backtracking intelligent, maintien des déductions
Université Paris XI,
soutenue en décembre 95
- Laurent Perron,
CC(
) un noyau parallèle pour l'implantation
des langages de contraintes concurrents
Université Paris XI,
prévue juin 97
- Paul Ruet,
Logique linéaire non-commutative mixte
et programmation concurrente par contraintes
Université Paris VII,
prévue juin 97
- Laurent Fribourg
- Marcos Veloso-Peixoto,
Automates à Contraintes Arithmétiques et
Procédures d'Evaluation Ascendante de Programmes Logiques
[415]
Université Paris VII,
soutenue en décembre 94
- Giuseppe Longo
- Giuseppe Castagna,
Surcharge, Sous-typage et Liaison Tardive: Fondements
Fonctionnels de la Programmation Orientée Objets
[193]
Université de Paris VII,
soutenue en janvier 94
(Chargé de recherche CNRS).
- Roberto Bellucci,
Sistemi formali e Modelli per il Polimorfismo parametrico
[191]
Universitá di Siena (et LIENS),
soutenue en janvier 96
(Chercheur chez Eurosat).
- Jacques Stern
- Jean-Marc Couveignes,
Quelques calculs en théorie des nombres
[80]
Université de Bordeaux I,
1 juillet 94.
(co-direction avec Henri Cohen)
- Serge Vaudenay,
La sécurité des primitives cryptographiques
[84]
Université Paris VII,
26 mai 95.
- Florent Chabaud,
Recherche de performance dans l'algorithmique des corps finis.
Application à la cryptographie
[79]
École Polytechnique,
septembre 96.
- David Pointcheval,
Les Preuves de Connaisssance et leurs Preuves de Sécurité
[83]
Université de Caen,
12 décembre 96.
- Jean-Bernard Fischer,
Étude des procédés assurant l'intégrité des données transmises et
l'authentification du porteur
dans un environnement du type carte à puce
[81]
Université Paris VII,
20 mars 97.
- Philippe Béguin,
Université Paris XI,
prévue en 97
- Louis Granboulan,
Méthodes numériques pour le calcul d'objets algébriques.
Application aux dessins d'enfants,
Université Paris VII,
prévue fin 97.
Pour chaque chercheur concerné, on indique le nombre
de jurys dans lequel il a siégé, non compris ceux
des thèses qu'il a dirigées, et le nombre de
rapports de thèse qu'il a rédigés.
- G. Cousineau : 24 jurys (dont 2 habilitations), 7 rapports.
- P. Cousot : 8 jurys (dont 2 habilitations), 1 présidence, 3 rapports.
- P-L. Curien : 7 jurys (dont 3 habilitations), 2 rapports.
- F. Fages : 10 jurys (dont 3 habilitations), 2 présidences, 7 rapports.
- M. Laurent: 3 jurys, 1 rapport.
- G. Longo : 12 jurys, 8 rapports (dont 2 habilitations).
- P. Matherat: 1 jury (Lefevere, Lille, 8-2-1994).
- M. Pocchiola: 6 jurys (dont 1 habilitation), 5 rapports.
- J. Stern : 8 jurys (dont 1 habilitation), 5 rapports.
Nous donnons uniquement la liste des DEAs dont le
stage a été dirigé entre 1994 et 1997
par un membre du laboratoire.
- G. Castagna
- G. Chen.
Types dépendants avec sous-typage.
1996.
- P. Cousot
- F. Védrine (ENS Ulm, DEA IMA).
Binding time analysis by abstract interpretation.
Mai - juillet 1994.
- P.-L. Curien
- E. Sendroiu.
Théorie des domaines et intégration.
1997.
- R. Di Cosmo
- J.-V. Loddo.
Géométrie de l'interaction.
1997
- D. Delahaye
Recherche des démonstrations dans des librairies Coq.
1997
- F. Fages
- R. Gori (université de Pise, DEA IMA 1995)
Une hierarchie de semantiques pour les programmes CLP normaux.
Mai - septembre 1995
- S. Soliman (X-Armement, DEA SPP 1997)
Semantique denotationnelle des langages CC basee sur la
logique lineaire
Mai - septembre 1997
- G. Longo
- T. Fruchart (Paris VII).
Complexité logique, Imprédicativité et Normalisation.
Mai - septembre 1996.
- G. Santini (Paris VII).
Théorie des Domaines et Systèmes dynamiques.
Mai - septembre 1997.
- J. Siffre (Paris VII).
Types Imprédicatifs et Preuves Prototypes.
Mai - septembre 1997.
- S. Vacca (Paris VII).
La forme finie de Friedman du Théorème de Kruskal.
Mai - septembre 1997.
- Michel Pocchiola
- V. Conchodon (DEA Marne-la-Vallée ;
encadrement 50% M. Pocchiola 50% D. Arquès)
Graphe de visibilité et Radiosité.
Mars - septembre 1996.
- F. Torossian (Paris 7, DEA Algorithmique).
Description des types d'ordre sur 4 convexes.
Mars - juillet 1996
- G. Maurin (ENSTEA, DEA Algorithmique).
Implémentation du ``Greedy Flip Algorithm''.
Mars - juillet 1996.
- P. Angelier (Ens Cachan, DEA Algorithmique).
Comparaison du GFA et du TWM.
Mars - juillet 1997.
Next: Enseignement
Up: Eléments d'appréciation de l'activité
Previous: Participations à l'évaluation de
Louis.Granboulan@ens.fr