Photo Responsable

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

Axes : SSR (👥👥), TMC (👥👥), ASN (👥).

Responsable :

Antoine Miné Campus Pierre et Marie Curie 25-26/311
RSS

Évènements (APR)

Archives


Brève présentation

Dessin Bulles HAL Annuaire 9 logiciels

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:

  • Combinatoire et analyse d'algorithmes
  • Langages et outils pour les logiciels critiques et les applications Web
  • Algorithmes et langages pour les processeurs multicœurs

site Web APR

Annuaire

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.

http://www-apr.lip6.fr

Sélection de publications

Toutes

Contact

Antoine.Mine (at) nulllip6.fr