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.
qq:1946937228 and 1292652198
This is my resume.Blogs: Disqus