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

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]

Characterising Renaming within OCaml’s Module System: Theory and Implementation[new]
Reuben N. S. Rowe, Hugo Férée, Simon Thompson, Scott Owens
PLDI 2019 [PDF]
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]

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

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

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.

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