Welcome to my personal homepage DAZE!

I’m a first (counting from zero) year student in University of Washington, working in UW PLSE lab. My research interest is formal verification, type theory, artificial intelligence / machine learning.

When new post is made, a pull request is merged. So, to subscribe, simply watch the repo!

Beside here, I have a blog in Chinese, which serves as a beta-testing site, where I post stuff, get feedback, and when they are of good enough quality, I will translate them into English and post them here.

Here is my other identity on web. If you’re not sure if it’s me or not, just ask.

This is my resume.