M.Tech + Ph.D. in Computer Science Engineering – IIT Bombay, Mumbai, India
Thesis: On Decidable Extensions of Metric Temporal Logic.
Advisors: S. Krishna, Paritosh K. Pandya.
Time Period: 2011-2019 - 2011-13 (M. Tech. - TA), converted to Ph.D. in August 2013, Ph.D.(2013-2019).
Funding info: Awarded TCS research scholarship (funded by TATA Foundation), and MHRD fellowship.
B.Tech. in Computer Engineering – SVNIT, Surat, India
| Since June 2025 | IIT Guwahati | Assistant Professor, Department of Computer Science and Engineering |
| Apr 2022 – Mar 2025 | MPI-SWS, Kaiserslautern, Germany | Postdoctoral Researcher Advisors: Prof. Rupak Majumdar, Prof. Georg Zetzsche |
| Jan 2020 – Dec 2021 | TU Delft, The Netherlands | Postdoctoral Researcher at Delft Center for Systems and Control Advisor: Prof. Manuel Mazo Jr. |
| Aug 2020 – Dec 2020 | TIFR Mumbai | Visiting Postdoctoral Fellow |