I am Yazhou Tang, a senior student in SJTU, majored in Computer Science.
- ๐ฑ Learning programming languages and formal verification, and doing something about VST.
- ๐ก Interested in compilers and program analysis.
- ๐ป Learning algorithms on LeetCode.