Section: Dissemination

Teaching - Supervision - Juries

Teaching

• Licence :

  • Guillaume Bonfante

    • Java, L3, Mines Nancy

  • Emmanuel Hainry

    • Operating Systems, 30h, L1, IUT Nancy Brabois

    • Algorithmics, 40h, L1, IUT Nancy Brabois

    • Dynamic Web, 60h, L1, IUT Nancy Brabois

    • Databases, 30h, L1, IUT Nancy Brabois

    • Object Oriented Languages, 12h, L2, IUT Nancy Brabois

    • Complexity, 30h, L2, IUT Nancy Brabois

  • Mathieu Hoyrup

    • Programmation en JAVA, 56h, DUT d'informatique 1ère année, IUT Charlemagne, France

  • Emmanuel Jeandel

    • Algorithmics and Programming 1, 60h, L1 Maths-Info

    • Algorithmics and Programming 4, 30h, L3 Informatique

    • Modelling Using Graph Theory, 30h, L3 Informatique

    • Networking, 15h, L3 Informatique

  • Romain Péchoux

    • Programmation orientée objet, 37,5h, L3, Université de Lorraine, France

    • Programmation orientée objet, 33,5h, L2, Université de Lorraine, France

    • Outils logiques pour l'informatique, 25h, L1, Université de Lorraine, France

    • Bases de données, 42h, L3, Université de Lorraine, France

    • Algorithmic complexity, 30h, L3 MIASHS parcours MIAGE, IGA Casablanca, Marocco.

  • Simon Perdrix

    • Structure de données, 72h, DUT d'informatique 1ère année, IUT Charlemagne, France

• Master

  • Guillaume Bonfante

    • Modelling and UML, M1, Mines Nancy

    • Video Games, M1, Mines Nancy

    • Semantics, M1, Mines Nancy

    • Safety of Software, M2, Mines Nancy

  • Isabelle Gnaedig

    • Design of Safe Software, Coordination of the module, M2, Telecom-Nancy

    • Rule-based Programming, 20h, M2, Telecom-Nancy

  • Emmanuel Jeandel

    • Algorithmics and Complexity, M1 Informatique and M1 ENSEM, 30h

    • Combinatorial Optimization, M1 Informatique, 36h.

  • Romain Péchoux

    • Mathematics for computer science, 30h, M1 SC

    • Advanced Java, 52,5h, M1 MIAGE

  • Simon Perdrix

    • Pépites Algorithmiques — Informatique Quantique, 6h, M1/M2, Ecole des Mines de Nancy.

Supervision

• PhD in progress: David Cattanéo, Combinatorial Modelization in Quantum Computation and Generalized Cover Problems, started Sept. 2012, Pablo Arrighi (director), Simon Perdrix (co-advisor).

• PhD : Hugo Férée, Complexité d'ordre supérieur et analyse récursive, Université de Lorraine, 10 December 2014, Jean-Yves Marion and Mathieu Hoyrup.

• PhD in progress: Hubert Godfroy, Semantics of Self-modifying Programs, Jean-Yves Marion.

• PhD: Jérôme Javelle, Quantum Cryptography: Protocols and Graphs, June 2nd 2014, Pablo Arrighi (director), Mehdi Mhalla (co-advisor), Simon Perdrix (co-advisor).

• PhD in progress: Thanh Dinh Ta, Malware Algebraic Modeling and Detection, started Sept. 2010, Jean-Yves Marion (director) and Guillaume Bonfante (co-advisor).

• PhD in progress: Aurélien Thierry, Morphological Analysis of Malware, started Oct. 2011 supervised by Jean-Yves Marion.

Juries

Isabelle Gnaedig was a:

• member of the Inria hiring committee for young researchers,

• member of the Telecom-Nancy engineering school admission committee.

Emmanuel Jeandel was in the:

• Selection committee for a research assistant position in Nice (MCF 1313).

• Selection committee for a professor position in Marseille (PR 174).

• Jury of Jérôme Javelle's PhD Defense on “Crytographie Quantique: Protocoles et Graphes”, defended in Université de Grenoble, June 2nd.

• Jury of Benjamin Hellouin de Menibus's PhD Defense on “Asymptotic Behaviour of Cellular Automata: Computation and Randomness”, defended in Aix-Marseille Université, September 26th.

• Jury of Bastien Le Gloannec's PhD Defense on “Coloriage du plan discret par jeux de tuiles déterministes”, defended in Université d'Orléans, December 12th.