Now – Balagopal Komarath

I am spending most of my time on research and teaching courses at IIT Gandhinagar.

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 guiding the following semester-long projects:

• An assessment database.
• Formalizing Barrington's theorem in Lean 4.
• Contributions to SageMath.
• PACE 2026 challenge.