Scientific leader : Michèle Soria
The main thematics concern languages and algorithms. The team members work on formal approaches and software developments, with many interactions between concepts and applications, in order to design languages and algorithms for developing efficient and certified applications. The APR team organizes around two scientific actions : first develop methods of random ganeration for complex combinatorial structures and apply them to model, simulate and test real-word applications; second design and implement new langages for emerging programming trends in concurrent and distributed computing, and Web programming.
Research thematics are more precisely described in the research page.