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 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 my MS, I worked on development of an automated debugging tool for CPS models. I have worked at OptumSoft, Bangalore for 2 years, where I developed application software for distributed systems.

Interests

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

Education

  • PhD in CSE, 2019 - Present

    Indian Institute of Technology, Kanpur

  • MS in CSE, 2017 - 2019

    Indian Institute of Technology, Kanpur

  • B.Tech in CSE, 2010 - 2014

    National Institute of Technology, Jamshedpur

Experience

 
 
 
 
 

Member of Technical Staff

OptumSoft

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

Contact

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