Section: Dissemination

Teaching - Supervision - Juries

Teaching

• Licence : Pascal Fradet, Théorie des Langages 1 & 2, 36 HeqTD, niveau L3, Grenoble INP (Ensimag), France

• Licence : Pascal Fradet, Modèles de Calcul : $\lambda$-calcul, 12 HeqTD, niveau L3, Univ. Grenoble Alpes, France

• Master : Pascal Fradet, Langages et Traducteurs, 16 HeqTD, niveau M1, Polytech Grenoble, Univ. Grenoble Alpes, France

• Licence : Gregor Gössler, Théorie des Langages 2, 36 HeqTD, niveau L3, Grenoble INP (Ensimag), France

• Master : Xavier Nicollin, Sémantique et Analyse des Programmes, 45 HeqTD, niveau M1, Grenoble INP (Ensimag), France

• Licence : Xavier Nicollin, Théorie des Langages 2, 36 HeqTD, niveau L3, Grenoble INP (Ensimag), France

• Licence : Xavier Nicollin, Bases de la Programmation Impérative, 81 HeqTD (2016-2017), niveau L3, Grenoble INP (Ensimag), France

• Licence : Sophie Quinton, Théorie des Langages 2, 18 HeqTD, niveau L3, Grenoble INP (Ensimag), France

• Master : Sophie Quinton, Performance and Quantitative Properties, 6h, MOSIG, Univ. Grenoble Alpes, France

Supervision

• PhD in progress: Sihem Cherrared, “Fault Management in Multi-Tenant Programmable Networks”, Univ. Rennes 1, since October 2016, co-advised by Eric Fabre and Gregor Gössler.

• PhD in progress: Christophe Prévot, “Early Performance assessment for evolving and variable Cyber-Physical Systems”, Univ. Grenoble Alpes, since November 2015, co-advised by Alain Girault and Sophie Quinton.

• PhD in progress: Stephan Plassart, “On-line optimization in dynamic real-time systems”, Univ. Grenoble Alpes, since September 2016, co-advised by Bruno Gaujal and Alain Girault.

• PhD in progress: Xiaojie Guo, “Formal Proofs for the Analysis of Real-Time Systems in Coq ”, Univ. Grenoble Alpes, since December 2016, co-advised by Pascal Fradet, Jean-François Monin, and Sophie Quinton.

• PhD in progress: Maxime Lesourd, “Generic Proofs for the Analysis of Real-Time Systems in Coq ”, Univ. Grenoble Alpes, since September 2017, co-advised by Pascal Fradet, Jean-François Monin, and Sophie Quinton.

• PhD in progress: Arash Shafiei, “Programming IoT and sofware defined radio with dynamic dataflow models of computation”, Univ. Grenoble Alpes, since September 2017, co-advised by Pascal Fradet, Alain Girault, and Xavier Nicollin.

• PhD in progress: Martin Vassor, “Analysis and types for safe dynamic software reconfigurations”, Univ. Grenoble Alpes, since November 2017, co-advised by Pascal Fradet and Jean-Bernard Stefani.

• M2 MOSIG: Leila Jamshidian Sales, “Towards a Dataflow Model of Computation (MoC) for Internet of Things (IoT)”, Univ. Grenoble Alpes and Grenoble INP, September 2017, co-supervised by Pascal Fradet, Alain Girault, and Xavier Nicollin.

• M2 MOSIG: Ebrahim Naeimimoshirian, “Hierarchical actor model with encapsulation”, Univ. Grenoble Alpes and Grenoble INP, September 2017, co-supervised by Xavier Nicollin and Jean-Bernard Stefani.

Juries

• Alain Girault was examiner for the PhD jury of Maalej Maroua (ENS-Lyon) and president for the PhD jury of Aurélien Cavelan (ENS-Lyon).

• Sophie Quinton was member of the PhD jury of Antoine Blin (U. Pierre et Marie Curie à Paris).