Hello, this is VectorPikachu, or Hangzhou Lyu (吕杭州, lǚ háng zhōu). Currently I’m a student majored in Software Engineering. And my research interest lies on Program Verification, including Dafny, Coq, Verus, et.al.
Education
- Peking University | Beijing, China
B.Eng. in Software Engineering | Sept 2022 - June 2026
北京大学 | 中国北京
软件工程 | 2022 年 9 月 - 2026 年 6 月 - Peking University | Beijing, China
B.S. in Economics (Dual Degree Program in National School of Development, NSD) | Sept 2023 - June 2026
北京大学 | 中国北京
经济学 (国发院双学位) | 2023 年 9 月 - 2026 年 6 月
Certificates
- College English Test Band4, CET4 | 671
大学英语四级考试 | 671 - College English Test Band6, CET6 | 650
大学英语六级考试 | 650
Awards
- 2025 CCF ChinaSoft Theorem Proving Contest | Third Prize
2025中国软件大会定理证明竞赛 | 三等奖