FR

EN

Homepage Inria website
  • Inria login
  • The Inria's Research Teams produce an annual Activity Report presenting their activities and their results of the year. These reports include the team members, the scientific program, the software developed by the team and the new results of the year. The report also describes the grants, contracts and the activities of dissemination and teaching. Finally, the report gives the list of publications of the year.

  • Legal notice
  • Cookie management
  • Personal data
  • Cookies


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.