Luigi Massacci
Orsay, Ile-de-France
Summary
🤩
Rockstar🎓
Top SchoolLuigi Massacci is a mathematics-focused researcher and early-career engineer with five years of experience blending rigorous theory and hands-on research across top institutions in Europe and the US. Currently pursuing an MSc in Mathematics at Université Paris-Saclay after a mathematics and computer science bachelor at École Polytechnique, he has completed research internships at Inria, a summer program at IAS/PCMI, and a short research scientist engagement with Google DeepMind. His profile leans academic but practical—his GitHub is highlighted as the place to see concrete work, suggesting active coding and reproducible research projects. Comfortable at the intersection of math, algorithms and applied machine learning, Luigi brings a strong theoretical foundation paired with internship experience in world-class labs. Notably, he graduated top of his class from a scientific high school in Italy, signaling long-standing academic discipline and drive.
5 years of coding experience
Bachelor's degree, Mathematics and Computer Science, Bachelor's degree, Mathematics and Computer Science at École PolytechniqueDiploma di Liceo Scientifico Opzione Scienze Applicate, 100 e Lode, Diploma di Liceo Scientifico Opzione Scienze Applicate, 100 e Lode at Liceo Scientifico Galileo GalileiMaster's degree, Mathematics, Master's degree, Mathematics at Université Paris-Saclay
Github Skills (14)
mathematics10
in-progress10
computer-algebra-system9
computer-algebra9
theorem-proving9
math8
combinatorics2
homotopy-type-theory2
agda2
python2
sat-solver2
category-theory1
proof-assistant1
proofs1
Programming languages (3)
Github contributions (5)
CSE201-project/OpenReader
Oct 2022 - Nov 2022
Contributions:13 commits, 8 pushes, 2 branches in 27 days
luigi-massacci/random_code
Mar 2021 - May 2022
Contributions:5 pushes, 1 branch in 1 year 3 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.