Sidharth Hariharan: The Website

About Me


A picture of me

Hi! I'm Sid, a final-year student pursuing an integrated Master's degree in mathematics at Imperial College London. I spent the last year at the Swiss Federal Institute of Technology, Lausanne (aka EPFL), as an exchange student. My primary areas of interest (in no particular order) are formalisation, representation theory, mathematical logic, and commutative algebra, though I still have a great deal to learn about these fields. For my Master's project, I am attempting to Lean-ify Maryna Viazovska's celebrated result on the optimality of the \(E_8\) sphere packing in eight-dimensional Euclidean space.

My commitment to mathematics extends beyond university. During the COVID-19 pandemic, I launched a YouTube channel and a (far more successful) Instagram account to share my insights on various mathematical topics in a manner accessible to a fairly broad audience. In addition, I am a Student Member of the UK-based Institute for Mathematics and its Applications (IMA). In 2023, I gave a talk about a Lean formalisation project at an IMA undergraduate conference, and in April 2024, an article I wrote on creating Mandala artwork using mathematics was published in Mathematics Today, the IMA's bimonthly magazine. Another organisation of which I have been a member for many years is Mensa International.

My background beyond mathematics is quite diverse: I trace my origins to several different parts of India, and grew up in Dubai, UAE. I speak four languages well, and have varying degrees of proficiency in a few others. I like to believe that some of that diversity has rubbed off on my personality as well: I consider myself a travelbug, a half-decent wildlife photographer, a very good (if sometimes messy) cook, and an amateur plane spotter. I think I'm at my happiest when I'm hiking through 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.