About Me

Hi, I’m Luyu Cheng. I’m working on something exciting.

From 2018 to now, 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 2019.

My research interests are type systems and software verification. I’m also good at playing with parsers and designing domain specific languages. I’m looking for a PhD student position in these fields. My current work involves domain-specific languages and data visualization, about which I’m co-authoring two papers.

To keep updated with my work and thoughts, follow me on Twitter, GitHub, or Figma or subscribe to my blog (the site you’re visiting right now) with RSS. My email is luyu@hey.com.

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.