Section: Dissemination

Teaching - Supervision - Juries

Teaching

• Licence : Julien Cohen, Discrete Mathematics, 48h, L1 (IUT Informatique), IUT Nantes, France

• Licence : Object oriented programming, 32h, L3 (Ingineering school), Polytech Nantes, France

• Master : Functional programming, 18h, M1 (Ingineering school), Polytech Nantes, France

• Master : Tools for softaware engineering (proof, test, code management), 20h, M1 (Ingineering school), Polytech Nantes, France

• Licence : Rémi Douence, Object Oriented Programming Project, 45h, L1 (apprenticeship), IMT-Atlantique, Nantes, France

• Licence : Rémi Douence, Object Oriented Design and Programming, 25h , L3 (engineers), IMT-Atlantique, Nantes, France

• Licence : Hervé Grall, Object Oriented Design and Programming, 25h , L3 (engineers), IMT-Atlantique, Nantes, France

• Licence : Rémi Douence, Data Structures and Algorithms, 20h , L2 (engineers), IMT-Atlantique, Nantes, France

• Licence : Rémi Douence, GUI, 20h, L2 (engineers), IMT-Atlantique, Nantes, France

• Licence, Master : Hervé Grall, Modularity and Typing, 40h, L3 and M1, IMT-Atlantique, Nantes, France

• Licence : Guilhem Jaber, Computer Tools for Science, 36h, L1, Université de Nantes France

• Licence : Guilhem Jaber, Computer Architecure, 36h, L3, Université de Nantes France

• Master : Hervé Grall, Service-oriented Computing, 40h, M1 and M2, IMT-Atlantique, Nantes, France

• Master : Rémi Douence, Functional Programming with Haskell, 20h, M1 (engineers), IMT-Atlantique, Nantes, France

• Master : Rémi Douence, Functional Programming with Haskell, 20h, M1 (apprenticeship), IMT-Atlantique, Nantes, France

• Master : Rémi Douence, Introduction to scientific research in computer science (Project: an Haskell interpreter in Java), 45h, M2 (apprenticeship), IMT-Atlantique, Nantes, France

• Master : Hervé Grall, Research Project - Certified Programming in Coq, 90h (1/3 supervised), M1 and M2, IMT-Atlantique, Nantes, France

• Master : Nicolas Tabareau, Homotopy Type Theory, 24h, M2 LMFI, Université Paris Diderot, France

• Master : Guilhem Jaber, Verification and Formal Proofs, 18h, M1, Université de Nantes, France

Supervision

• PhD : Simon Boulier, Extending Type Theory with Syntactical Models, IMT Altantique, 29 Nov 2018, advisor: Nicolas Tabareau

• PhD in progress : Antoine Allioux, Coherent Structures in Dependent Type Theory and Higher Category Theory, Université Paris Diderot, advisors: Yves Guiraud and Matthieu Sozeau

• PhD in progress : Gaetan Gilbert, A new foundation for the Coq proof assistant based on the insight of Homotopy Type Theory, IMT Atlantique, advisors: Matthieu Sozeau and Nicolas Tabareau

• PhD in progress : Ambroise Lafont,Towards an unbiased approach to specify, implement, and prove properties on programming languages, IMT Atlantique, advisors: Tom Hirschowitz and Nicolas Tabareau

• PhD in progress: Xavier Montillet, Rewriting theory for effects and dependent types, Univ Nantes, advisors: Guillaume Munch-Maccagnoni and Nicolas Tabareau

• PhD in progress: Théo Winterhalter, Extending the flexibility of the universe hierarchy in type theory, Univ Nantes, advisors: Matthieu Sozeau and Nicolas Tabareau

• PhD in progress: Igor Zhirkov, Certified Refactoring of C in the Coq proof assistant, advisors: Rémi Douence and Julien Cohen.

• PhD in progress: Joachim Hotonnier, Deep Specification for Domain-Specific Modelling, advisors: Gerson Sunye (Naomod team), Massimo Tisi (Naomod team), Hervé Grall

Juries

• A. Mahboubi has served as reviewer for the PhD of Andrea Gabrielli, defended October 22nd at Università di Firenze.

• A. Mahboubi has served as external member on the PhD jury of Pierre Boutry, defended November 13th at Université de Strasbourg.

• A. Mahboubi has served as external member on the PhD jury of Simon Boulier, defended November 29th at IMT Atlantique.

• A. Mahboubi has served as external member on the PhD jury of Boris Djalal, defended December 3rd at IMT Atlantique.

• J. Cohen has served as external member on the PhD jury of Thibaut Girka, defended July 3rd at Université Paris Diderot.