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.
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.