News
Table of Contents
2026#
May–July - Research intern at FPLaunchpad, IIT Madras, under Dr. KC Sivaramakrishnan, working on formal verification of distributed systems using Lean.
15–27 June - Attending 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 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.
March 22 - Organised Against Time a competitive programming event at NISER.