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

Conferences

Previous positions

2015—2016 Temporary teaching (Université Lille 3) and reaserch 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)

Bachelor's internship

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