§ Academic

Competitive Programming

I started competitive programming in 2012, and regularly participate in contests. My team tesla_protocol qualified for the ICPC World Finals 2020, where we placed 46th.

I have also been the IIIT-H Programming Club coordinator for four years. I conducted sessions on various topics and organized some ICPC style contests.

From November 2021 till June 2022, I trained IIITH teams for ICPC. I helped a few strong teams that wanted to make it to World Finals and do well there.

Theory

I co-founded the Theory Group at IIIT-H and am super enthusiastic to explore and learn theory. I planned and conducted a few activities such as Seminar Saturdays and Theory Thursdays.

Programming Languages

I like learning new languages and paradigms. I’ve learnt a good amount of Haskell and C++. I also love theorem proving languages like Coq and Lean. I’ve experimented a bit with APL.

Teaching

I really love teaching! I have conducted sessions as part of the Programming Club and Theory Club, and for school kids for Informatics Olympiad. If you have an event, hit me up, I’d be glad to teach!

Learning

Here is a list of courses and series that I’ve learnt from.

§ Hobbies

I follow three sports - Football, Formula-1 and Chess. If I had to pick my favourites - Tomáš Rosický, Ayrton Senna and Vasyl Ivanchuk.
I occasionally play chess online on lichess and chess.com, for fun.
I used to be a speedcuber with an official fastest solve of 16.60 seconds.

§ Random

If I were a Springer-Verlag Graduate Text in Mathematics, I would be William S. Massey’s A Basic Course in Algebraic Topology.

I am intended to serve as a textbook for a course in algebraic topology at the beginning graduate level. The main topics covered are the classification of compact 2-manifolds, the fundamental group, covering spaces, singular homology theory, and singular cohomology theory. These topics are developed systematically, avoiding all unecessary definitions, terminology, and technical machinery. Wherever possible, the geometric motivation behind the various concepts is emphasized.

Which Springer GTM would you be? The Springer GTM Test