[July 2016] Received Microsoft Azure Research Award Grant.
[July 2016] I am in the program committee of HSCC 2018.
[July 2017] Delivered a talk on multi-robot task and motion planning at CyPhySS2017 in IISc, Bangalore.
[July 2017] A paper on satisfiability modulo convex programming based multi-robot motion planning accepted in CDC 2017.
[June 2017] A paper on multi-robot task server accepted in EMSOFT 2017.
[April 2017] I am part of MHRD IMPRINT Program and Indian Railways funded project titled “FMSAFE: A Networked Centre for Formal Methods in Validation and Certification Procedures for Safety Critical ICT Systems”.
[December 2016] A paper on distributed mobile robotics accepted in ICCPS 2017.
[November 2016] I am in the program committee of ATVA 2017.
[July 2016] A paper on scalable motion planning accepted in CDC 2016
[July 2016] I am in the program committee of HSCC 2017.
[July 2016] Project titled "A Framework for Synthesizing Robust Motion Primitives for UAVs" has been funded by DST SERB with a budget of INR 50 lakhs.
[June 2016] A book on Analog Electronic Circuits has been published by New Age International.
[March 2016] Received a DAAD grant for a research stay at MPI-SWS.
[December 2015] A paper on motion planning for multi-robot systems was accepted in ICCPS 2016.
[July 2015] I joined the Department of Computer Science and Engineering at IIT Kanpur
[December 2014] Our paper on dynamic scheduling for networked control systems was accepted in HSCC 2015.
[May 2014] A paper on multi-robot motion planning from safe LTL specifiaction was accepted in IROS 2014.
[January 2014] I was in the program committee of EMSOFT 2014.
[July2013] I joined the ExCAPE project and moved to UC Berkeley.
[April 2013] I defended my Ph.D. thesis on April 29, 2013.
Here are the slides of my final defense.