简历 Curriculum Vitae

Xi’an Jiaotong University, China

Bachelor of Mathematics and Applied Mathematics

• Final GPA: 3.39/4.3 (84.31/100)
• Abstract Algebra (94/100), Advanced Algebra and Analytic Geometry (93/100)
• Language Proficiency: IELTS 8.0/9.0, CET6 646/710
  

National University of Singapore, Singapore

Master of Science in Mathematics

University of Wisconsin – Madison, US

Exchange program

• GPA: 4.0/4.0
• Courses Studied: Introduction to Cryptography (4.0/4.0), Intro-Combinatorics (4.0/4.0).
  

Peking University, China

Beijing International Center for Mathematical Research

• Seminar:
     - (Jan 2024)
     AI for Mathematics: Mathematics formalization and theorem proving
     - (Jul 2024)
     AI for Mathematics: Formalization on abstract algebra
     (Awarded the special prize and offered chances for further cooperation)
• Conference & Workshop:
     - (Sep 2024)
     AI for Mathematics Workshop on Lean, Automated Reasoning and Beyond
     - (joint with Westlake University, Jan 2025)
     Conference on AI for Math and formalization
     - (May 2025)
     RUC&PKU joint Lean Workshop
• Research projects: (GitHub username: Yu-Misaka)
     - Adding Stacks Project tags (Merged into master)
     - Formalization of Jacobson-Noether theorem (Merged into master)
     - Formalization of filtered and graded ring (Work in progress)
     - Formalizing Koszul Complex (Work in progress)
• (joint program with Ubiquant inc., Mar 2025 - Present)
  Full-time internship on formalization and AI