Nikhil Singh
Postdoctoral Researcher
Max Planck Institute for Software Systems, Germany
I am a Postdoctoral Researcher at the Max Planck Institute for Software Systems working with Prof. Sadegh Soudjani and Prof. Rupak Majumdar. I am currently part of the ERC-funded AutoCyPher project. Prior to this, I completed my PhD from the Department of Computer Science and Engineering at the Indian Institute of Technology Kanpur under Prof. Indranil Saha. My doctoral research was supported by the prestigious Prime Minister Research Fellowship.
My research interest lies in the area of Learning-based Controller Synthesis. I work mostly in designing Safe, Robust and Efficient algorithms for Embodied AI systems.
Interests
- Controller Synthesis
- Reinforcement Learning
- Formal Methods
- Cyber Physical Systems
Education
-
PhD in CSE, 2019 - 2024
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
