About
I am currently a second-year master's student at Nanjing University, majoring in Computer Science.
Interest Fields
- Functional Programming
- Programming Languages (Theory)
- Program Analysis
- Mathematical Logic
Dev Skills
- Web Development
- Compiler
- Docker
- CI/CD
- VSCode / Emacs