News
Table of Contents
2026#
May–July - Research intern at FP Launchpad, IIT Madras, under Dr. KC Sivaramakrishnan, working on formal verification of distributed systems using Lean. (Blog Post)
30 July - Gave my internship presentation, Convergence is Not Enough: Verifying a Tombstone-Free Sequence MRDT in Lean 4, at FP Launchpad, IIT Madras. (Slides)
5–10 July - Attended the LeanLang Summer School at IISc, Bangalore, organised by EmergenceAI. (Blog Post)
15–27 June - Attended the Foundational Lecture Series in Theoretical Computer Science at IMSc, Chennai.
16–18 April - Attended the LeanLang for Verified Autonomy hackathon organised by EmergenceAI at IISc, Bangalore. (blog post soon™)
2025#
8 November - Presented a PoseDetection simulation (Github Repo) at the Open Day outreach programme at NISER.
25 October - First Prize at the MathematiX club event at Umang (website done by me), the annual college fest at NISER.
Summer - Research intern at IMSc, Chennai, under Dr. Meena Mahajan, on an introduction to Logic and Automated Reasoning.
18 April - Gave a talk on Transformers Learn Shortcuts to Automata with Yash Chauhan, as part of the Advanced Machine Learning course at NISER. (Slides, Report)
29 March - Organised a talk on cybersecurity and hacking awareness for school students, as part of Prerna, a science exposure event run by the Zariya club.
22 March - Organised Against Time a competitive programming event at NISER.
2024#
26 October - Started the Problem of the Week initiative, where participants submit solutions online for a moderator to score, with a live leaderboard.
20 October - Presented an introduction to path finding algorithms at the Open Day outreach programme at NISER, walking school students through Dijkstra’s algorithm and A*, and showing how code turns an idea into something usable.
19 September - Gave an introductory talk on Turing machines, building a barebones Turing machine in Python, as part of the Code N Coffee sessions.
16 September - Organised Switcheroo, a paired coding competition where teammates swap places partway through and finish each other’s problems, with no comments allowed. I built the Flask server that handled submissions and kept the running tally.
22 June - Started Code N Coffee, a casual meetup for coding enthusiasts at NISER to talk about whatever they find interesting. Informal and fun, and a space for us to gather and share our enthusiasm for computer science.