LIP6 - APR

Last modified by Antoine Miné on 2020/07/09 11:36

48.84711071986572
2.3546271552386555
Yes
Content associated with the point

GT LVP

GT HiFi

GT CLAP

https://www-apr.lip6.fr/web/doku.php

https://www.lip6.fr/recherche/team.php?acronyme=APR

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).

 

Options for marker