Hi! I'm Nishant.

I'm an 18th-gradersecond-year PhD student studying Robotics at the University of Michigan, advised by Jean-Baptiste Jeannin and Gabor Orosz . My research concerns formal verification for automotive control, such as collision avoidance systems. In the past, I've worked as a research intern at Uber ATG (since acquired by Aurora) and on simulation for automated trucks at Ike (since acquired by Nuro).

I went to Berkeley, where I studied electrical engineering & computer science, taught a data science course that the Wall Street Journal wrote about, and researched traffic-mitigating strategies for autonomous vehicles and intelligent infrastructure.

At Cal, I was part of the team that built Flow, an open-source framework inferfacing the microscopic vehicle simulator SUMO (and later Aimsun) with the deep reinforcement library Ray RLlib. Flow enables the design and analysis of traffic scenarios as well as the training of agents using deep RL. Here are some papers I've worked on. I also like to bake, read, and bike.

Email me if you'd like. Here are my resume (short) and CV (long).

Shamelessly inspired by Canzhi's website, which is inspired by this other one.