Lionel Parreaux

Lionel Parreaux is an Assistant Professor at the department of Computer Science and Engineering (CSE), the Hong Kong University of Science and Technology (HKUST). His main research interests include programming languages, type systems, compiler optimization, metaprogramming, and functional programming. He is interested in making high-level programming languages both safer and more efficient, mainly through innovations in type systems, compilers, and metaprogramming, thereby achieving the goal of "Abstraction Without Regret". His research on metaprogramming received Best Paper award at GPCE 2017. Lionel obtained his PhD at EPFL in Lausanne, Switzerland.

Lionel Parreaux is a researcher at the Hong Kong University of Science and Technology (HKUST) with expertise in type systems, compiler optimization, metaprogramming, and functional programming. His work focuses on advancing type inference, subtyping, and the design of type-safe metaprogramming techniques. He has contributed to the development of tools and frameworks that enhance the efficiency and correctness of programming languages, particularly through the integration of algebraic subtyping, quasiquotes, and staged rewriting. His research emphasizes practical applications in compiler design and language implementation, aiming to improve type error messages, memory management, and the expressiveness of functional and object-oriented programming.