🏫 I'm a PhD student of Computer Science at Peking University.
📓 My research interests are:
- Programming Languages
- Formal Verification
- Functional Programming
- Compilers
🌟 My Skills:
📊 This Week I Spent My Time On
🕑︎ Time Zone: Asia/Shanghai
💬 Programming Languages: 
No Activity Tracked This Week
🔥 Editors: 
No Activity Tracked This Week
🐱💻 Projects: 
No Activity Tracked This Week
💻 Operating System: 
No Activity Tracked This Week
I Mostly Code in Rust
Rust                     45 repos            ███████░░░░░░░░░░░░░░░░░░   29.03 % 
TypeScript               15 repos            ██░░░░░░░░░░░░░░░░░░░░░░░   09.68 % 
TeX                      5 repos             █░░░░░░░░░░░░░░░░░░░░░░░░   03.23 % 
C++                      4 repos             █░░░░░░░░░░░░░░░░░░░░░░░░   02.58 % 
Dart                     2 repos             ░░░░░░░░░░░░░░░░░░░░░░░░░   01.29 % 
Last Updated on 2025-10-31 01:42:12 UTC





