Registered user since Mon 16 Jan 2017
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.
|ML 2022|| Committee Member in Program Committee within the ML-track|
The Ultimate Conditional Syntax
|Show activities from other conferences|
View general profile