Hi, I’m Luyu Cheng. I’m working on something exciting.
My research interests are programming languages, specifically type systems. I’m also good at playing with parsers and designing domain specific languages. I’m a PhD student in Hong Kong University of Science and Technology under supervision of Lionel Parreaux.
From 2018 to April 2021, I work and grow in IDEAS Lab as a research assistant. Before that, I was student and self-employed developer who loves playing with programming languages and software engineering. I graduated from Taishan College, Shandong University with a Bachelor’s degree in computer science in June 2019.
About My Blog
I built my blog with Gatsby. It’s ad-free and doesn’t use any trackers. I’m trying to keep writing as much as possible. See the meta-blog for a brief history of my blog.