Welcome to my personal homepage DAZE!
I'm a first 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]
github
zhihu
qq:1946937228 and 1292652198