Section: Dissemination

Teaching - Supervision - Juries

Teaching

• Licence : Vincent Prunet, Algorithms and Data Structures, 80 ETD, L2, Lycée International de Valbonne Sophia Antipolis (within the scope of the national Inria action to promote early CS courses in all scientific curricula), France.

• Master : Manuel Serrano, Programming the Diffuse Web, 26h ETD, M2, University Paris 6 (UPMC), France.

• Master : Tamara Rezk, Security of Web Applications, 36 ETD, M2, University of Nice Sophia Antipolis, France.

• Master : Tamara Rezk, Provable Cryptography, 36 ETD, M2, University of Nice Sophia Antipolis, France.

• Master: José Fragoso Santos, Software Security, 6 ETD, M2, of Instituto Superior Técnico University of Lisbon, Portugal.

• Doctorat : Manuel Serrano, Hop.js, full-day seminar, École des Jeunes Chercheurs en Programmation ,Rennes, France.

• Doctorat: Ilaria Castellani, Behavioural types, one-hour tutorial, Lovran School.

Supervision

• PhD : José Fragoso Santos, Enforcing Secure Information Flow in Client Side Web Applications, University of Nice Sophia Antipolis, 08/12/2014, Ana Almeida Matos and Tamara Rezk.

• PhD in progress : Cyprien Nicolas, Orchestrating multi-tier programming languages, University of Nice Sophia Antipolis, 1/09/2010, Gérard Berry and Manuel Serrano.

• PhD in progress: Johan Grande, Conception et implantation d'un langage de programmation concurrente modulaire, University of Nice Sophia Antipolis, 1/10/2010, Gérard Boudol and Manuel Serrano.

• PhD in progress: Yoann Couillec, Langages de programmation et données ouvertes, University of Nice Sophia Antipolis, 1/10/2012, Manuel Serrano and Patrick Valduriez.

• PFE in progress: Julien Chiaremello, Décomposition en nombres premiers en informatique quantique, University of Nice Sophia Antipolis, 1/11/2014, Tamara Rezk.

• Master Internship: Diana Proteasa-Nicola on activity monitoring within Hop applications, Polytech Nice Sophia, Vincent Prunet.

• Inria Internship Program: Diana Proteasa-Nicola on Robot simulation with Hop.js, Universitatea Politehnica Timisoara, Vincent Prunet.

Juries

• Manuel Serrano was a reviewer of the PhD thesis of Cagdas Bozman, ENSTA, Paris. He was also a reviewer of the PhD thesis of Julien Richard Roy, University of Rennes. Manuel Serrano organized and headed the CR2 jury of Inria Sophia-Antipolis.

• Ilaria Castellani was a reviewer of the PhD thesis of Ornela Dardha, University of Bologna.

• Tamara Rezk was a reviewer (rapporteur) of the PhD thesis of Carlos Luna, University of the República, Uruguay. He was also part of the jury of the PhD thesis of José Fragoso Santos, University of Nice Sophia Antipolis.