Team APR

This page is read only. You can view the source, but not change it. Ask your administrator if you think this is wrong.

====== APR : Algorithms, Programs and Resolution ======

 Scientific leader  : [[apr>~mine/|Antoine Miné]]

The [[lip6>fr/recherche/team.php?id=750|APR]]
(Algorithms, Programs and Resolutions) team belongs to  the 
the Computer Science Laboratory [[lip6>en/index.html|LIP6]].

The APR team works on thematics dealing with algorithms and programming languages, from both theoretical and practical aspects, combining the language approach and the algorithmic requirements in a wide range of applications, such as programing new machine architectures, developing languages for concurrence and mobility, software testing, static analysis.
More generally, in the APR team, we develop formal and mathematically founded methological approaches, in the domains of semantics and combinatorics, in order to achieve concrete goals such as experimental software prototypes, as well as development of industrial applications. 


Research thematics are more precisely described in the [[research]] page.

Team APR

User Tools

Site Tools

Page Tools