Internships

INSA de Lyon

2017/2018

• Guido di Lauro:
  Adding jUnit test support to HardenedGolo
  Advisors: Oscar Carrillo and Nicolas Stouls
• Noah Rossignol:
  Automatic Configuration For Network Booting Raspberry Pi Devices
  Advisor: Oscar Carrillo

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.