EN FR
EN FR


Section: Dissemination

Teaching - Supervision - Juries

Teaching

CONVECS is a host team for the computer science master MOSIG (Master of Science in Informatics at Grenoble), common to Grenoble INP and Université Grenoble Alpes (UGA).

In 2019, we carried out the following teaching activities:

  • P. Bouvier supervised a group of seven two-person teams of 2nd year students in the context of the “projet informatique” (31 hours “équivalent TD”, consisting of lab exercises and supervision) at PHELMA.

  • H. Garavel was a jury member for the MOSIG master defenses in June and September 2019.

  • 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.

  • 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.

  • 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 250 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 (third year of university) at IUT1/UGA.

  • W. Serwe gave the part on “Behavioural Testing” (9 hours “équivalent TD”) of the course “Verification and Test Theories” to second year students of the MOSIG.

  • W. Serwe supervised 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 2019.

Supervision

  • PhD: Lina Marsso, “Formal Methods for Testing Networks of Controllers”, Université Grenoble Alpes, December 10, 2019, R. Mateescu, W. Serwe, and I. Parissis

  • PhD: Umar Ozeer, “Autonomic Resilience of Applications in a Largely Distributed Cloud Environment”, Université Grenoble Alpes, December 11, 2019, L. Letondeur, G. Salaün, F.-G. Ottogalli, and J.-M. Vincent

  • PhD in progress: Pierre Bouvier, “Implémentation et vérification des langages concurrents de nouvelle génération”, Université Grenoble Alpes, since October 2019, H. Garavel and R. Mateescu

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

Juries

  • F. Lang was PhD committee member of Sander de Putter's PhD thesis, entitled “Verification of Concurrent Systems in a Model-Driven Engineering Workflow”, defended at Technische Universiteit Eindhoven (The Netherlands) on January 28, 2019.

  • R. Mateescu was reviewer of The Anh Pham's PhD thesis, entitled “Efficient State-Space Exploration for Asynchronous Distributed Programs”, defended at ENS Rennes on December 6, 2019.

  • G. Salaün was committee president of Xavier Etchevers's Habilitation thesis, entitled “Evolution du déploiement automatisé d'applications : des infrastructures cloud aux enjeux de l'agilité et de l'intelligence ambiante”, defended at Université Grenoble Alpes on November 29, 2019.

  • G. Salaün was PhD committee president of Raphaël Jackse's PhD thesis, entitled “Interactive Runtime Verification”, defended at Université Grenoble Alpes on December 18, 2019.