Internships

INSA de Lyon

2016/2017

  • Nikolai Plokhoi:
    Development of the type analysis module for Hardened-Golo
    Advisors: Oscar Carrillo and Nicolas Stouls.
  • Alexandre Claude:
    Plateforme d’exercices auto-corrigés pour le premier cycle
    Advisors: Oscar Carrillo, Nicolas Stouls, and Frédéric Le Mouël.
  • Qifan Zhou:
    Giving confidence to Golo code using Symbolic Execution
    Advisors: Oscar Carrillo and Nicolas Stouls.
  • Géoffrey Guettier:
    Donnez de la confiance en votre code Golo using WhyML
    Advisors: Oscar Carrillo and Nicolas Stouls.