Lionel Parreaux
Assistant Professor at The Hong Kong University of Science and Technology
Hong Kong, China
Summary
🤩
Rockstar🎓
Top SchoolLionel Parreaux is an Assistant Professor in the CSE department at HKUST with 13 years of experience bridging programming languages research and practical systems engineering. He completed a PhD at EPFL where he developed Squid, a type-safe metaprogramming and extensible compilation framework, and has worked on performance-oriented DSLs, type systems, and database systems. His background includes internships at Microsoft and industry roles improving C++ build and CI tooling, reflecting a strong mix of research rigor and hands-on software craftsmanship. Based in Hong Kong, he brings academic leadership and open-source sensibility to projects that require both formal methods and production-grade implementation. An understated strength is his track record of turning advanced language ideas into usable tooling (e.g., Squid) that spans compilers and domain-specific performance work.
12 years of coding experience
Engineering Degree (Master level), Computer Science, Engineering Degree (Master level), Computer Science at Institut national des Sciences appliquées de LyonDoctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at EPFL (École polytechnique fédérale de Lausanne)International exchange semester, Computer Science, International exchange semester, Computer Science at National University of Singapore
English, French
Stackoverflow
1,155reputation
94kreached
13answers
15questions
Github Skills (200)
colorize10
continuation10
programming-language10
autocomplete10
interop10
metaprogramming10
visual-studio10
subtyping10
javascript10
type-inference10
type-check10
parallelization10
scala-native10
new-language10
object-oriented-programming10
Programming languages (16)
Github contributions (5)
LPTK/SeaglPrototype
May 2015 - Nov 2015
Contributions:120 commits, 54 pushes, 4 branches in 5 months
hkust-taco/mlstruct
Jun 2022 - Oct 2022
Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"
Contributions:2 releases, 49 commits, 1 PR in 4 months
symbolic-computationfunctional-programminginferencealgebrastructural
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.