- Computer Science Laboratory

Equipo : APR - Algorithms, Programmes and Resolution

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

Responsable :

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

Contacto

Web site
Antoine.Mine (at) nulllip6.fr

Members

Once titular del personal académico y de investigación, diez Estudiantes de doctorado.
Photo équipe

Breve presentación

The APR team works on thematics dealing with algorithms and programming languages, from both theoretical and practical aspects, combining the language approach (design, implementation and program analysis tools) and the algorithmic requirements (modeling, complexity analysis, random generation) in a wide range of applications, such as programing new machine architectures, developing languages for concurrence and mobility, from critical embedded applications to Web development. More generally, in the APR team, we develop formal and mathematically founded methodological approaches, in the domains of semantics and combinatorics, in order to achieve safe and efficient applications by combining programming languages and algorithms through theory (formal approach in semantics and combinatorics) and practice (concrete objectives producing prototyping softwares and industrial applications).

The APR team is based on three axes following a common research theme around concurrency:

  • Combinatorics and Analysis of algorithms
  • Languages and Tools for Critical Softwares and Web Applications
  • Algorithms and Languages for Multicore Processors


Self-assessment Archivos Tesis
Dessin Bulles HAL Directorio de personal 9 softwares 5 proyectos

Tags

Analysis of Algorithms Models and Applications Design and implementation of Programming Languages Random Sampling Combinatorial Structures

Siete invitados Los últimos 12 meses

Pietro FERRARA, Olivier BODINI, Choun Tong LIEU, Boubacar Demba SALL, Amaury CURIEL, Marwan AZIZI, Adrien CHALLE.

Selected publications