Next:
Message du directeur
Up:
No Title
Previous:
No Title
Table des matières
Message du directeur
Présentation de l'unité
Conseil de Laboratoire au 1er janvier 1997
Equipes de recherche 1994-1997
Groupe de Recherche en Complexité et Cryptographie
Lambda-calcul typé et langages fonctionnels
Sémantique et Interprétation Abstraite
Langages Logiques, Contraintes et Optimisation
Optimisation et Algorithmique Géométriques
Géométrie, Combinatoire et Algorithmes
Logique et Physique
Spécifications algébriques et Programmation logique 1990-1996
Activité scientifique des équipes
Groupe de Recherche en Complexité et Cryptographie
Théorie de la complexité : Preuves Interactives et Approximation des problèmes
-complets
Théorie algorithmique des nombres et théorie des codes correcteurs d'erreurs
Factorisation des nombres entiers
Algorithmique sur les réseaux à coordonnés entières
Calculs explicites d'objets mathématiques complexes
Calculs du nombre de points d'une courbe elliptique
Théorie des codes
Corps finis
Cryptographie à clé publique
Chiffrement à clé publique
Signature
Procédés d'identification
Preuves de sécurité
Génération déterministe d'aléas
Analyse cryptographique
Cryptographie Conventionnelle
Fonctions de hachage
Chiffrement symétrique
Approche théorique de la cryptographie conventionnelle
Protocoles cryptographiques
Cryptographie appliquée
Cryptographie quantique
Perspectives
Amélioration des procédés de signature
Recherche de nouveaux systèmes cryptographiques
Étude de la sécurité de RSA pour les exposants publics petits
Lambda-calcul typé et langages fonctionnels
Introduction
Programmation fonctionnelle et orientée-objet
Développement de langages fonctionnels
Sémantique catégorique et théorie des domaines
Paramétricité
-calcul et parallélisme
Épistémologie et Cogniscience
Perspectives
Sémantique et Interprétation Abstraite
Introduction
Les modèles de sémantiques :
Les fondements de l'interprétation abstraite :
Les méthodes d'analyse et de manipulation de programmes par interprétation abstraite de sémantiques :
Sémantiques
Présentation de sémantiques et construction de hiérarchies de sémantiques par interprétation abstraite
Modèles du vrai parallélisme par automates de dimension supérieure
Hiérarchie de modèles du vrai parallélisme
Interprétation abstraite
Fondements de l'interprétation abstraite
Domaines abstraits pour l'analyse sémantique de programmes
Utilisation des BDDs en interprétation abstraite
Utilisation des langages formels, grammaires et contraintes ensemblistes en interprétation abstraite
Représentation des grammaires et contraintes ensemblistes en interprétation abstraite
Typage par interprétation abstraite
Élargissements pour le typage
Combinaison de l'analyse statique et du typage
Construction d'une hiérarchie de types par interprétation abstraite
Sémantiques abstraites
Analyse sémantique de programmes fonctionnels d'ordre supérieur par interprétation abstraite
Analyse de comportement par interprétation abstraite
Analyse sémantique de programmes logiques par interprétation abstraite
Analyse sémantique de programmes parallèles par interprétation abstraite
Combinaison de l'interprétation abstraite
et du model-checking
Logique temporelle et model-checking abstrait
Ordonnancement de programmes parallèles
Analyse de programmes parallèles stochastiques
Analyse sémantique de langages orientés objets par interprétation abstraite
Perspectives
Langages Logiques, Contraintes et Optimisation
Introduction
Concurrence
Programmation concurrente par contraintes et logique linéaire
Sémantique dénotationnelle de CC(
)
Réseaux d'interaction
Négation
Négation constructive et logique tri-valuée
Optimisation
Théorie des modèles stables
Typage et Ordre supérieur
Systèmes de réécriture d'ordre supérieur
Typage statique de CLP/CC(
) et méta-programmation
Algorithmique des contraintes
Contraintes sur les algèbres de termes
Contraintes sur les domaines finis
Modèles d'exécution réactifs et distribués
Optimisation combinatoire
Cartographie de la programmation par contraintes
Algorithmes hybrides
Autres applications
Développements logiciels
C
LAIRE
Un système CLP(
) au dessus de Prolog
CC(
)
Perspectives
Optimisation et Algorithmique Géométriques
Logique et Physique
Spécifications algébriques et Programmation logique
Introduction
Spécifications algébriques : modularité et observabilité
Programmation logique et fonctionnelle
Validation des programmes logiques
Perspectives
Eléments d'appréciation de l'activité du laboratoire
Collaborations
Groupe de Recherche en Complexité et Cryptographie
Lambda-calcul typé et langages fonctionnels
Sémantique et Interprétation Abstraite
Langages Logiques, Contraintes et Optimisation
Logique et Physique
Spécifications algébriques et Programmation logique
Missions, conférences et séminaires
Groupe de Recherche en Complexité et Cryptographie
Lambda-calcul typé et langages fonctionnels
Sémantique et Interprétation Abstraite
Langages Logiques, Contraintes et Optimisation
Logique et Physique
Spécifications algébriques et Programmation logique
Accueil de chercheurs
Groupe de Recherche en Complexité et Cryptographie
Lambda-calcul typé et langages fonctionnels
Sémantique et Interprétation Abstraite
Langages Logiques, Contraintes et Optimisation
Spécifications algébriques et Programmation logique
Diffusion de la connaissance
Groupe de Recherche en Complexité et Cryptographie
Lambda-calcul typé et langages fonctionnels
Sémantique et Interprétation Abstraite
Langages Logiques, Contraintes et Optimisation
Logique et Physique
Spécifications algébriques et Programmation logique
Réalisation et diffusion de logiciels, brevets
Groupe de Recherche en Complexité et Cryptographie
Lambda-calcul typé et langages fonctionnels
Sémantique et Interprétation Abstraite
Langages Logiques, Contraintes et Optimisation
Participations à l'évaluation de la recherche
Groupe de Recherche en Complexité et Cryptographie
Lambda-calcul typé et langages fonctionnels
Sémantique et Interprétation Abstraite
Langages Logiques, Contraintes et Optimisation
Logique et Physique
Spécifications algébriques et Programmation logique
Encadrement doctoral
Direction de thèses
Participation à d'autres jurys de thèses
Direction de DEA
Enseignement
2cycle
3cycle
Publications
Annexes
Personnels
Effectifs des personnels au 1er janvier 1997
Personnels entrés
Personnels sortis
Budget
Ressources publiques hors salaires
Coûts salariaux
Ressources contractuelles
Budget consolidé
Création du thème
"systèmes reconfigurables"
Travaux récents
Projets à l'École Normale
Références
Création du thème
"Géométrie, Combinatoire et Algorithmes"
Activité scientifique
Introduction.
Géométrie algorithmique.
Programmation en nombres entiers, programmation semidéfinie et algorithmes approchés.
Problèmes de complétion de matrices.
Optimisation dans les matroides.
Problèmes de combinatoire et géométrie.
Perspectives.
Eléments d'appréciation de l'activité
Collaborations
Missions, conférences et séminaires
Accueil de chercheurs
Diffusion de la connaissance
Réalisation et diffusion de logiciels, brevets
Participations à l'évaluation de la recherche
Encadrement doctoral
Direction de DEA
Enseignement
Références
Note du responsable du thème
Optimisation et Algorithmique Géométriques
Louis.Granboulan@ens.fr