Tanmoy Kundu

Tanmoy Kundu

Supervisor: Indranil Saha

RM-504, Computer Science and Engineering Indian Institute of Technology, Kanpur. tanmoy@cse.iitk.ac.in
Tanmoy Kundu photo

About me

I joined PhD programme in January 2016, under the supervision of Dr. Indranil Saha. My areas of interest are Formal Verification and Cyber-Physical Systems.


M.Tech (National Institute of Technology Tiruchirappalli)

Research Interest

  • Formal Verification
  • Cyber-Physical Systems