Section: Dissemination

Teaching - Supervision - Juries


CONVECS is a host team for the computer science master entitled “Mathématiques, Informatique, spécialité : Systèmes et Logiciels”, common to Grenoble INP and Université Grenoble Alpes (UGA).

In 2018, we carried out the following teaching activities:

  • G. Barbon and W. Serwe supervised each a group of six teams in the context of the “projet Génie Logiciel” (55 hours “équivalent TD”, consisting in 16 hours of lectures, plus supervision and evaluation), ENSIMAG, January 2018.

  • F. Lang and R. Mateescu gave a lecture on “Modeling and Analysis of Concurrent Systems: Models and Languages for Model Checking” (27 hours “équivalent TD”) to third year students of ENSIMAG and second year students of the MOSIG (Master of Science in Informatics at Grenoble).

  • F. Lang gave a course on “Formal Software Development Methods” (7.5 hours “équivalent TD”) in the framework of the “Software Engineering” lecture given to first year students of the MOSIG.

  • F. Lang and W. Serwe provided a 6-hour training about the CADP toolbox to Eric Jenn, Nicolas Hili, and Sun Wei Tsun (IRT Saint-Exupéry, Toulouse, France) on June 28, 2018.

  • L. Marsso gave a course on “Algorithms and Web Programming” (64 hours “équivalent TD”) at the department MMI of IUT1 (UGA).

  • A. Muroor Nadumane gave a course on “Object Oriented Programming” (42 hours “équivalent TD”) at the department MMI of IUT1 (UGA).

  • G. Salaün taught about 230 hours of classes (algorithmics, Web development, object-oriented programming, iOS programming) at the department MMI of IUT1 (UGA). He is also headmaster of the “Services Mobiles et Interface Nomade” (SMIN) professional licence (3rd year of university) at IUT1/UGA.


  • PhD in progress: L. Marsso, “Formal Methods for Testing Networks of Controllers, Université Grenoble Alpes, since October 2016, R. Mateescu, W. Serwe, I. Parissis, and Ch. Deleuze

  • PhD in progress: A. Muroor Nadumane, “Softwarization of Everything: IoT Service Composition, Université Grenoble Alpes, since October 2017, G. Salaün, R. Mateescu, L. Noirie, and M. Le Pallec

  • PhD in progress: U. Ozeer, “Autonomous Resilience of Applications in a Largely Distributed Cloud Environment, Université Grenoble Alpes, since November 2016, L. Letondeur, G. Salaün, F.-G. Ottogalli, and J.-M. Vincent


  • G. Salaün was PhD committee member for Gustavo García Pascual's PhD thesis, entitled “Optimizing Mobile Applications by Exploiting Variability Models at Runtime”, defended at University of Málaga (Spain) on December 18, 2018.