vers département
Annuaire
Projets
Logiciels
Publications
HAL
http://www-apr.lip6.fr
Photo Responsable

Équipe : APR - Algorithmes, Programmes et Résolution


Responsable : Emmanuel Chailloux Site Jussieu 25-26/316

Brève présentation

Les thématiques de l’équipe APR concernent l’algorithmique et les langages de programmation, sous des aspects fondamentaux à la fois théoriques et pratiques, en combinant l’approche langage (conception, implantation, analyse statique) et les besoins algorithmiques (modélisation algorithmique, analyse de complexité, génération aléatoire) dans des domaines d’application qui vont de la programmation des nouvelles architectures de machines au développement de langages pour la concurrence et la mobilité, des applications embarquées critiques au développement Web. De façon générale, nous développons dans l'équipe APR, des approches méthodologiques, formelles et mathématisées, en sémantique et en combinatoire, pour parvenir jusqu’à des objectifs très concrets, dans la construction de prototypes logiciels expérimentaux et la réalisation d’applications industrielles.

L'équipe APR est basée sur trois axes suivant un thème de recherche commun autour de la concurrence:


site Web APR

Génération aléatoire, Structures Combinatoires, Analyse d'Algorithmes, Modélisation et Applications. Conception et Implantation de langages, Analyses statiques, Typage, Interprétation Abstraite, Concurrence, Programmation Parallèle, Langage et Calcul.

Aucune manisfestation prévue actuellement.

Archives

Sélection de publications

Toutes

Contact

Emmanuel.Chailloux (at) nulllip6.fr

 Mentions légales
Carte du site |