Encadrement doctoral

 

Direction de thèses

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.

Participation à d'autres jurys de thèses

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.

Direction de DEA

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.