معرفی
Hugo Férée is a Lecturer at Université Paris Cité, affiliated with the IRIF (Institut de Recherche en Informatique Fondamentale) laboratory. He is based in the Faculty of Science and Technology and works in the Department of Computer Science. His research lies at the intersection of theoretical computer science, programming languages, and formal methods.
His research interests include:
- Theoretical Computer Science
- Programming Languages
- Computational Complexity
- Formal Methods
- Logic in Computer Science
- Program Verification
Hugo Férée's recent publications demonstrate a strong focus on formalizing logical and computational systems using proof assistants. His work spans topics such as propositional quantifiers, modal logics, OCaml's module system, and complexity analysis of stream programs and real functionals. He frequently contributes to top-tier conferences like CPP, PLDI, ICFP, LICS, and IJCAR, often involving mechanized proofs and verification. A notable trend is the use of interpretations, game semantics, and quasi-interpretations to characterize computational complexity classes.
His scientific achievements include:
- Best Paper Award at IJCAR 2024 for mechanized uniform interpolation in modal logics
Hugo has advised or collaborated with researchers across Europe, including institutions such as the University of Kent, TU Darmstadt, and LORIA. He has served on artifact evaluation committees for major conferences including POPL, ICFP, PLDI, and ECOOP, reflecting his active role in the programming languages community. He has also been a PC member for DICE-FOPARA.
He was previously a Research Associate at the University of Kent (2016–2019), an ATER at Université Lille 3 (2015–2016), and a visiting postdoc at TU Darmstadt (2015). He completed his PhD at LORIA, University of Lorraine, under the supervision of Jean-Yves Marion and Mathieu Hoyrup, defending in December 2014.
