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.
Find me on
.