Yunkai Zhan
Student at Imperial College London
Cambridge, England, United Kingdom
Summary
🤩
Rockstar🎓
Top SchoolYunkai Zhan is a computational mathematics student transitioning from Imperial College London to an MPhil in Scientific Computing at the University of Cambridge, with three years of practical experience applying Python to data-mining problems. During a summer internship at State Grids Information he contributed to a data mining team, gaining hands-on exposure to real-world energy-sector datasets. Fluent in Mandarin and proficient in English, he bridges technical and multicultural collaboration in research and industry settings. Yunkai combines rigorous mathematical training with software development skills, particularly in algorithmic and numerical approaches to computation. He is based in Cambridge and brings a curiosity for turning complex mathematical models into reproducible code and insights.
2 years of coding experience
Master of Philosophy - MPhil Scientific Computing, Master of Philosophy - MPhil Scientific Computing at University of CambridgeMaster in Science - Msci Computational Mathematics, Master in Science - Msci Computational Mathematics at Imperial College LondonHigh School Diploma Canadian High School, High School Diploma Canadian High School at Nanchang No.2 High School
English, Chinese
Github Skills (15)
mathematics10
in-progress10
computer-algebra-system9
python9
peg9
theorem-proving9
parser9
context-free-grammar8
computer-algebra8
error-recovery8
parser-combinators8
recovery8
math8
parsing8
parser-generator6
Programming languages (3)
Github contributions (5)
YunkaiZhang233/formalising-mathematics-notes
Jan 2025 - Mar 2025
Course notes for Formalising Mathematics 2025
Contributions:12 pushes in 1 month
YunkaiZhang233/formalising-maths-project-1
Jan 2025 - Feb 2025
Contributions:10 pushes, 1 branch, 1 tag in 1 month
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.