Hugo Férée

I am currently a Research Associate in the PLAS group of the School of Computing of the University of Kent. As such, I am involved in the Trustworthy refactoring project with Simon Thompson, Scott Owens and Reuben Rowe.

Publications

Articles

• Game semantics approach to higher order complexity
  Hugo Férée
  Journal of Computer and System Sciences 2017 [PDF]
• 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]

Conferences

• Program Verification in the Presence of I/O Semantics, verified library routines, and verified applications
  Hugo Férée, Johannes Åman Pohjola, Ramana Kumar, Scott Owens, Magnus O. Myreen, and Son Ho
  VSTTE 2018 [PDF]
• Formal Proof of Polynomial-Time Complexity with Quasi-Interpretations
  Hugo Férée, Samuel Hym, Micaela Mayero, Jean-Yves Moyen, David Nowak
  CPP 2018 [PDF]
• On the Computational Complexity of Positive Linear Functionals on C[0;1]
  Hugo Férée, and Martin Ziegler
  MACIS 2015 [PDF] (abstract in CCA 2015)
• On the query complexity of real functionals
  Hugo Férée, Walid Gomaa and 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 and Romain Péchoux
  ISAAC 2010 [HAL]

Previous positions

2015—2016	Temporary teaching (Université Lille 3) and research position (ATER), in the research team 2XS of the CRIStAL lab.
2015—2015	Visiting postdoc in the Logik group at TU Darmstadt (January — June)
2011—2014	PhD student (LORIA lab). I defended my PhD [TEL(fr)] 10/12/2014 at Loria, advised by Jean-Yves Marion and Mathieu Hoyrup.
2012—2014	Teaching assistant, Faculté des Sciences et Technologies de Nancy, Université de Lorraine

Internships

Master's internship (second year)

Directed by Mathieu Hoyrup, Emmanuel Hainry and Romain Péchoux (LORIA, Nancy, France).
Report.

Master's internships (first year)

• Directed by Emmanuel Hainry, Mathieu Hoyrup and Romain Péchoux (LORIA, Nancy, France).
  Report, slides and the corresponding article (ISAAC 2010).
• Directed by Herman Geuvers (Radboud University, Nijmegen, The Netherlands).
  Report.

Bachelor's internship

Directed by Pierre Alliez (INRIA Sophia-Antipolis, France).
Report and slides.