User Tools

Site Tools


home

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
home [2019/02/18 18:53]
127.0.0.1 external edit
home [2020/10/04 10:00] (current)
mine
Line 7: Line 7:
 the Computer Science Laboratory [[lip6>​en/​index.html|LIP6]]. the Computer Science Laboratory [[lip6>​en/​index.html|LIP6]].
  
-The APR team works on thematics dealing with algorithms and programming languages, from both theo- retical ​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.+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. ​ 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. ​
  
home.txt ยท Last modified: 2020/10/04 10:00 by mine