Section: Dissemination

Teaching - Supervision - Juries

Teaching

• Licence

  • Isabelle Gnaedig:

    • To the limits of the computable, 6 hours, Opening course-conference of the collegium “Lorraine INP”, Nancy, France

  • 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, 16h, L2, IUT Nancy Brabois

    • Complexity, 30h, L2, IUT Nancy Brabois

  • Mathieu Hoyrup:

    • Bases de la Programmation Orientée Objet, 20 HETD, L2, Université de Lorraine, France

    • Interfaces Graphiques, 10 HETD, L2, Université de Lorraine, France

  • Emmanuel Jeandel:

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

    • Data Compression, 30h, L2 Informatique

    • Algorithmics and Programming 4, 30h, L3 Informatique

    • Modeling Using Graph Theory, 30h, L3 Informatique

    • Networking, 15h, L3 Informatique

    • Formal Languages, 30h, L3 Informatique

  • Romain Péchoux:

    • Programmation orientée objet, 61,5h, L3 MIASHS

    • Programmation orientée objet, 53,5h, L2 MIASHS

    • Outils logiques pour l'informatique, 35h, L1 MIASHS

    • Bases de données, 40h, L3 Sciences de la Gestion

    • Algorithmic complexity, 30h, L3 MIAGE, IGA Rabat, Morocco.

• Master

  • Isabelle Gnaedig:

    • Design of Safe Software, Coordination of the module, M2, Telecom-Nancy (Université de Lorraine), Nancy, France,

    • Rule-based Programming, 20 hours, M2, Telecom-Nancy (Université de Lorraine), Nancy, France.

  • Emmanuel Jeandel:

    • Algorithmics and Complexity, 30h, M1 Informatique

  • Nazim Fatès:

    • Systèmes distribués adaptatifs, 10h, Master 2, informatique.

    • Agents intelligents et collectifs, 15h, Master 1, sciences cognitives.

Supervision

• PhD in progress: Renaud Vilmart, “Langages graphiques pour calculer et raisonner en quantique”, Start: October 2016, Advisors: Emmanuel Jeandel and Simon Perdrix.

• PhD in progress: Titouan Carette, “Langage diagrammatique pour l'ordinateur quantique”, Start: October 2018, Advisors: Emmanuel Jeandel and Simon Perdrix.

• PhD in progress: Pierre Mercuriali, “Calcul à base de médiane et structures médianes pour la classification”, Start: October 2016, Advisors: Miguel Couceiro and Romain Péchoux.

• PhD in progress: Robert Booth, “Formalismes pour la vérification de technologies quantiques”, Start: November 2018, Advisors: Damian Markham and Simon Perdrix.

Juries

• Emmanuel Jeandel reviewed the PhD thesis of Silvère Gangloff (Aix-Marseille Université - Université Toulouse III).

• Simon Perdrix was examiner for the PhD thesis of Alex Bredariol Grilo (IRIF, Université Paris Diderot), April 27 2018.

• Frédéric Dupuis was examiner for the PhD thesis of Christoph Hirche (Universitat Autònoma de Barcelona), May 9, 2018.