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 serve 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.
email:[email protected]
qq:1946937228 and 1292652198

This is my resume.

comments powered by Disqus