I’m a undergraduate student in University of Science and Technology of China, study in Mathematical School. My research interest is formal verification, type theory and functional programming.

欢迎！

这是我的博客，从今天起它将和另一个博客Shijie-Xu’s Blog取代我的微信朋友圈、QQ空间等社交空间，我会不定期更新一些有趣的事情，欢迎浏览！