Nicolo Cavalleri
Graduate Teaching Assistant
Stony Stratford, England, United Kingdom
Summary
🤩
Rockstar🎓
Top SchoolNicolo Cavalleri is a PhD student in mathematics at UCL specializing in geometry and mathematical physics, with nine years of experience combining rigorous pure math training from Pisa, Cambridge Part III, and research roles with practical coding in C++. He has applied formal methods and differential geometry in Lean—contributing a product of smooth manifolds with corners and continuous-function algebra to the prominent mathlib3 library—and has research experience in the Cambridge CS department. Nicolo pairs academic teaching as a graduate TA with industry-facing quant roles at Quadrature and a quantitative research internship at DRW, demonstrating an ability to move between theory and high-performance code. His primary programming language is C++, and he brings hands-on back-end development experience in formal proof assistants as well as quantitative systems. Based in Stony Stratford, he blends classical mathematical depth (Maturità Classica background) with practical software and research engineering across academia and market-focused teams.
9 years of coding experience
University College LondonBachelor of Science - BS, Mathematics, 110/110 cum Laude, Bachelor of Science - BS, Mathematics, 110/110 cum Laude at Università di PisaPart III of the Mathematical Tripos (Mast), Pure mathematics, Part III of the Mathematical Tripos (Mast), Pure mathematics at University of CambridgeMaturità Classica, Maturità Classica at Liceo Ginnasio Alessandro ManzoniHigh school summer course, Cosmology, High school summer course, Cosmology at Stanford University
English, French, Italian, Spanish
Github Skills (11)
mathematics10
theorem-proving10
proofs10
mathlib10
functional-programming10
proof10
formal-methods10
math10
math-library10
mathematica10
maths10
Programming languages (5)
Github contributions (5)
leanprover-community/mathlib3
Jul 2020 - May 2022
Lean 3's obsolete mathematical components library: please use mathlib4
Role in this project:
Back-end Developer
Back-end DeveloperContributions:318 reviews, 213 commits, 36 PRs in 1 year 11 months
Contributions summary:Nicolo contributed to the `mathlib3` repository, which focuses on mathematical components in Lean 3. Their primary contribution involves the implementation of a product of smooth manifolds with corners within the `geometry/manifold/smooth_manifold_with_corners` file, and included the necessary code changes and co-author collaborations to introduce and define this mathematical concept. The work demonstrates expertise in Lean 3 and the associated mathematical libraries. The user also worked on providing the algebra structure of continuous functions.
maththeorem-provingcomponents-librarymathematicsjavascript
Nicknamen/Grafia
Feb 2017 - Nov 2019
Contributions:1 release, 86 commits, 71 pushes in 2 years 9 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.