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.