Nikhil Kumar Singh

Nikhil Kumar Singh

PhD Student

Department of Computer Science and Engineering, IIT Kanpur

I am a PhD student at the Department of Computer Science and Engineering at the Indian Institute of Technology Kanpur under Dr. Indranil Saha. I am a recipient of the Prime Minister Research Fellowship since December-2020. I am working on synthesis of safe and robust controllers for safety-critical Cyber Physical Systems (CPSs). During MS, I worked on development of an automated debugging tool for CPS models. I have worked in the area of distributed systems at OptumSoft, Bangalore.


  • Formal Verification
  • Controller Synthesis
  • Reinforcement Learning
  • Cyber Physical Systems


  • PhD in CSE, Jan'20 - Present

    Indian Institute of Technology, Kanpur

  • MS in CSE, Jan'18 - Dec'19

    Indian Institute of Technology, Kanpur

  • B.Tech in CSE, Aug'10 - May'14

    National Institute of Technology, Jamshedpur



Member of Technical Staff


Jun 2014 – Jun 2016 Bangalore
Development of application software for distributed systems.


  • KD-305, CSE Dept., IIT Kanpur, Kanpur, 208016