About Me
Hi! I'm Sidharth, but most people call me Sid for short. I'm a first-year PhD student at Carnegie Mellon University, affiliated to the Department Mathematics and working in close collaboration with the Hoskinson Center for Formal Mathematics. I am currently advised by Jeremy Avigad. I previously completed a 4-year integrated Master's degree at Imperial College London, doing my Master's project under the supervision of Bhavik Mehta, and spent the third year of my undergraduate education at the Swiss Federal Institute of Technology, Lausanne, as an exchange student.
Since the spring of 2024, I have been leading the effort to formalise Maryna Viazovska's Fields Medal-winning solution to the Sphere Packing Problem in Dimension 8, in collaboration with Christopher Birkbeck, Gareth Ma, Bhavik Mehta, Seewoo Lee, Maryna Viazovska.
My background beyond mathematics is quite diverse: I trace my origins to several different parts of India, and grew up in Dubai, UAE. In total, I have lived in 5 countries and travelled to 37 (though that number is growing quite rapidly). I am fluent in English, Tamil, French and Hindi, and have varying degrees of proficiency in Malayalam, Arabic, Russian, Spanish and German. I enjoy hiking, wildlife photography, plane spotting and cooking. I think I'm at my happiest when I'm sifting through leaf litter in a tropical rainforest or racing across picturesque landscapes aboard a train.
Contact
I'm always happy to talk to people, be it to collaborate professionally or simply to get to know each other. I usually respond in a week or so, but please bear in mind I am a student with a lot on his plate.
- Email: [firstname] [lastname] [at] cmu [dot] edu
- LinkedIn: sidharth-hariharan
- Maths Instagram: @the_fundamental_theor3m