Supervisor: Indranil Saha RM-504, Computer Science and Engineering Indian Institute of Technology, Kanpur. email@example.com
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)
- Formal Verification
- Cyber-Physical Systems