🎯
Focusing
PhD student @ Tsinghua University. Research on formal verification.
-
Tsinghua University
- Beijing, PRC
- https://linusboyle.cn
Earned achievements
Arctic Code Vault Contributor
Arctic Code Vault Contributor
Loading
Pull Shark
x2
Pull Shark
x2
Loading