Hugo Férée

Je suis actuellement en ATER à l'Université Lille 3 dans l'équipe 2XS du laboratoire CRIStAL. J'ai soutenu ma thèse [TEL] le 10/12/2014 au Loria sous la direction de Jean-Yves Marion et Mathieu Hoyrup

Publications

Journaux

• Characterizing polynomial time complexity of stream programs using interpretations
  Hugo Férée, Emmanuel Hainry, Mathieu Hoyrup, Romain Péchoux
  Theoretical Computer Science 2015 [HAL]
• Analytical properties of resource-bounded real functionals
  Hugo Férée, Walid Gomaa, Mathieu Hoyrup
  Journal of Complexity 2014 [HAL]

Conférences

• On the query complexity of real functionals
  Hugo Férée, Walid Gomaa et Mathieu Hoyrup
  LICS 2013 [HAL]
• Higher-order complexity in analysis
  Hugo Férée and Mathieu Hoyrup
  CCA 2013 [HAL]
• Interpretation of stream programs: characterizing type 2 polynomial time complexity
  Hugo Férée, Emmanuel Hainry, Mathieu Hoyrup et Romain Péchoux
  ISAAC 2010 [HAL]

Stages

Stage de M2

Sous la direction de Mathieu Hoyrup, Emmanuel Hainry et Romain Péchoux (LORIA, Nancy).
Rapport

Stages de M1

• Sous la direction d'Emmanuel Hainry, Mathieu Hoyrup et Romain Péchoux (LORIA, Nancy).
  Rapport, slides et l'article (ISAAC 2010) correspondant.
• Sous la direction de Herman Geuvers (Radboud University, Nimègue, Pays-Bas).
  Rapport.

Stage de L3

Sous la direction de Pierre Alliez (INRIA Sophia-Antipolis).
Rapport et slides.

Enseignement

• 2015-2016 :
  • Bases des systèmes informatique (L1)
  • Codage et représentation numérique de l’information (L1)
  • Projet informatique de traitement des données en SHS (L2)
  • Bases d un système informatique (L2)
  • Introduction aux réseaux informatiques (L1)
• 2014-2015 :
  • Algorithmique et complexité (M1)
  • Algorithmique et programmation (L3)
  • Algorithmique et programmation (L1)
  • C2i (L1)
• 2013-2014 :
  • Algorithmique et complexité (M1)
  • Intruduction à la sécurité (L3)
  • C2i (L1)
• 2012-2013 :
  • Mise à niveau Ocaml (M1)
  • C2i : Certification Informatique et Internet(L1)