Shing Lam
Senior Graduate Teaching Assistant
Coventry, England, United Kingdom
Summary
🤩
Rockstar🎓
Top SchoolShing Lam is a PhD student in mathematics at the University of Warwick and a Senior Graduate Teaching Assistant with ten years of research and teaching experience. His work focuses on complex and symplectic geometry, informed by summer research projects at Cambridge on hyperkähler geometry and the computational Solvability Complexity Index. He contributes to rigorous formal mathematics tooling as a backend developer on the well-known leanprover-community/mathlib3, adding multivariate polynomial partial derivatives and refactoring lemmas in number theory and modular arithmetic. Comfortable bridging deep theory and computational formalisms, he investigates both geometric structures and the algorithmic limits of optimisation problems used in data science. Based in Coventry, he combines strong academic training from Cambridge and Glasgow with practical open-source engineering that strengthens mathematical foundations.
10 years of coding experience
Master's degree, Mathematics, Master's degree, Mathematics at University of CambridgeDoctor of Philosophy - PhD, Mathematics, Doctor of Philosophy - PhD, Mathematics at University of WarwickMathematics, Mathematics at University of Glasgow
Chinese, Chinese, English, Spanish, French
Github Skills (14)
test-automation10
mathematics10
theorem-proving10
proofs10
automation10
automations10
proof10
math10
leanback10
maths10
data-structure9
algorithm9
data-structures9
algorithms9
Programming languages (14)
Github contributions (5)
leanprover-community/mathlib3
Apr 2020 - Sep 2022
Lean 3's obsolete mathematical components library: please use mathlib4
Role in this project:
Back-end Developer
Back-end DeveloperContributions:212 reviews, 71 commits, 44 PRs in 2 years 5 months
Contributions summary:Shing primarily contributed to the `mathlib3` library by adding and modifying mathematical components. Their work included adding partial derivatives to the multivariate polynomial data structures, which involved implementing and refining related mathematical functions. They also refactored and added lemmas concerning digits and modular arithmetic, demonstrating a focus on foundational mathematics and related algorithms. The user was also involved in refactoring and improving existing lemmas within the project.
maththeorem-provingcomponents-librarymathematicsjavascript
shingtaklam1324/shingtaklam1324
Jan 2021 - Aug 2024
Contributions:4 pushes, 1 branch in 3 years 6 months
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.