忘忧北萱草's GitHub stats
🏫 I am a PhD student at Peking University’s School of Computer Science. Visit my academic homepage to find out more about me and my work.
📓 My research interests are:
- Program Verification
- Programming Languages
- Functional Programming
🧑💻 As an open-source developer, I see code as a craft. I’m dedicated to writing elegant and maintainable software, using principles from programming language theory as my foundational tools.
🌟 My Skills:
Rust Python OCaml TypeScript React Flutter PyTorch Typst Ren'Py After Effects