PAREO

Formal Islands : Foundations and Applications

Department 2 : Formal methods

Team leader : Horatiu Cirstea
Tél. : +33 3 54 95 84 06
Mail : horatiu.cirstea@loria.fr

Website

The PAREO team doesn’t exit since 1st of January 2017. All the members are now in the Mosel-Veridis team.

Presentation

At the heart of our project is the will to study fundamental aspects of programming languages (logic, semantics, algorithmic, etc.) to make major contributions to the design of new programming languages. An important part of our research effort will be dedicated to the design of new fundamental concepts and tools to analyze existing programs and systems.

Research activities

  • Improve theoretical foundations
  • Integrate formal methods in programming languages
  • Security Policy Analysis

Software

  • Tom

Collaborations

  • LAAS and IRIT (Toulouse).
  • the team of Paul Klint (Amsterdam) and the team of Mark van den Brand (Eindhoven).
  • We have a software developed with a common copyright (CWI – INRIA – Universities of Nancy).
  • We continue the collaboration started with Mathieu Jaume (LIP6) during the SSURF project for the definition of a generic policy analysis framework.

Keywords

Programming languages, formal methods, compilation, security, static analysis, proof of programs

Now

Logo du CNRS
Logo Inria
Logo Université de Lorraine