Sidharth Hariharan
Pittsburgh, Pennsylvania, United States
Summary
🤩
Rockstar🎓
Top SchoolSidharth Hariharan is a PhD student in Mathematics at Carnegie Mellon with four years of research and tutoring experience focused on formal methods, type theory, and the mathematical foundations of computing. He has contributed to Lean/mathlib formalisation—co-authoring a partial fractions proof merged into mathlib3—and worked with Maryna Viazovska at EPFL to formalise Cohn–Elkies linear programming bounds for sphere packing. A First-Class MSci Mathematics graduate from Imperial College London and former exchange student at EPFL, he pairs deep theoretical insight with practical proof engineering. He also has a strong track record of mentoring and teaching across university and secondary levels, and has built applied robotics software during an internship at Oracle. Notably, his background combines elite problem-solving (IB perfect score) with hands-on formalisation efforts that bridge modern proof assistants and celebrated mathematical results.
4 years of coding experience
MSci, Mathematics, First Class Honours, Associateship of the Royal College of Science, MSci, Mathematics, First Class Honours, Associateship of the Royal College of Science at Imperial College LondonIndian Certificate of Secondary Education (ICSE), 98.2%, Indian Certificate of Secondary Education (ICSE), 98.2% at GEMS Modern Academy, DubaiDoctor of Philosophy - PhD, Mathematics, Doctor of Philosophy - PhD, Mathematics at Carnegie Mellon UniversityExchange Programme, Mathematics, Exchange Programme, Mathematics at EPFL (École polytechnique fédérale de Lausanne)International Baccalaureate Diploma, Perfect Score (45 points), International Baccalaureate Diploma, Perfect Score (45 points) at International Baccalaureate
French, Tamil, Hindi, Malayalam, Arabic, Russian, English, German
Github Skills (33)
in-progress10
mathematics10
mathematical10
theorem-proving10
computer-algebra9
javascript9
computer-algebra-system9
formal-methods9
math8
crossword6
numerical-analysis5
least-squares5
interval-arithmetic5
multiprecision5
fixed-point5
Programming languages (2)
Github contributions (5)
thefundamentaltheor3m/RepTheoryEPFL
Feb 2024 - Jul 2024
Contributions:90 pushes, 6 branches in 5 months
thefundamentaltheor3m/Trans4m8-V1
Sep 2021 - Jul 2024
Contributions:1 push in 2 years 10 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.