Now

I spend most of my time on research and teaching. I am advising three doctoral scholars: Priyanshi, Rohit, and Sarthak; and five Master's students: Bikash, Manan, Miral, Shashwat, and Spandana.

I am teaching computational complexity theory in academic year 2025–26, Semester II (Jan-Apr), and tutoring Theory of Computing and Discrete Mathematics. I am also supervising the following semester-long projects:

• An assessment database.
• Formalizing circuit complexity in Lean 4.
• Contributions to SageMath.
• PACE 2026 challenge.