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

   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 July 2016. From left to right: Sai Srikar Kasi, Hugues Evrard, Ajay Muroor-Nadumane, Gianluca Barbon, Fatma Jebali, Mohammad-Ali Tabikh, Radu Mateescu, Hubert Garavel, Wendelin Serwe, Myriam Etienne, Gwen Salaün, and Frédéric Lang (not on the picture).

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

Logo Twitter
Last modified: 2016/07/19 11:00:26.