Mon 5 - Sat 10 December 2022 Auckland, New Zealand
Lionel Parreaux

Registered user since Mon 16 Jan 2017

Name:Lionel Parreaux

I am an Assistant Professor at the HKUST CSE department since February 2021. I am looking for students to join my research group! Please contact me (first-name dot last-name at gmail.com) if you’d like to work on something related to programming languages, type systems, or compiler optimization.

I obtained my PhD in 2020 at EPFL, in the Data Analysis Theory and Applications Laboratory (DATA), where I created the Squid type-safe metaprogramming library for Scala.

Affiliation:Hong Kong University of Science and Technology


SPLASH 2022 Committee Member in Reviewers within the Student Research Competition-track
MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types
A case for DOT: Theoretical Foundations for Objects with Pattern Matching and GADT-Style Reasoning
Committee Member in Judges within the Student Research Competition-track
Show activities from other conferences

SPLASH 2022-profile
View general profile