Lionel ParreauxView profile
Assistant Professor
Lionel Parreaux is an Assistant Professor at the Hong Kong University of Science and Technology (HKUST) in the Department of Computer Science and Engineering since February 2021. He obtained his PhD in Computer Science from the Swiss Federal Institute of Technology, Lausanne (EPFL) in 2020, where he developed the Squid type-safe metaprogramming library for Scala. Research Interests: His work spans programming languages, type systems, functional programming, generative programming, language design, and compiler optimizations. He focuses on improving program correctness and performance through advanced type theory and compilation techniques. Publications: His recent articles concentrate on type inference methodologies, compiler optimizations (especially for functional programs), metaprogramming, and formal verification of language features. Key themes include constraint-based type systems, deforestation techniques, polymorphic subtyping, and error message improvements. Research Group: He leads a team of 8 PhD students and 1 MPhil student, with 2 MPhil students graduated in 2024. Actively recruits students for projects in programming languages and compilers. Projects: A Lightweight Type System for Scope and Effect Safety (Huawei-funded, 2024–) Optimizing Functional Programs via Graph Reduction (RGC Early Career Scheme, 2022–2025)











