Construction of Verified Concurrent Systems
Logo Inria Logo LIG Logo Grenoble INP Logo CNRS Logo UJF

   CONVECS and LCIS/CTSYS seek a PhD candidate
Contact: Radu Mateescu
Deadline for applications: July 15, 2016
   Orange Labs and CONVECS seek a PhD candidate
Contact: Gwen Salaun
Deadline for applications: July 18, 2016

CONVECS is a research project-team common between Inria Grenoble - Rhône-Alpes and the LIG laboratory. Its research activities focus on the formal modeling and verification of asynchronous concurrent systems, which are instantiated in various domains (communication protocols, distributed algorithms, GALS, etc.). To this aim, CONVECS proposes new formal languages for specifying the behaviour and the properties of concurrent systems, and devises efficient verification algorithms and tools running on sequential and massively parallel machines.

The CONVECS team in May 2015. From left to right: Abderahman Kriouile, Radu Mateescu, Eric Jenn (IRT Saint Exupéry, visiting), Fatma Jebali, Jose Ignacio Requeno, Rim Abid, Wendelin Serwe, Gwen Salaün, Lakhdar Akroun, Eric Léo, Alexandre Hamez (IRT Saint Exupéry, visiting), Jingyan Jourdan-Lu, Hubert Garavel, Raquel Oliveira, Hugues Evrard, and Frédéric Lang.

CONVECS builds on the scientific expertise and human potential of the former VASY project-team of Inria.

Logo Twitter
Last modified: 2016/06/06 10:09:52.