Background
Aditya received his PhD from University of Colorado, Boulder in 2016. His thesis focused on search based reachability methods for cyber physical systems. During his PhD, he received two best paper awards for his work on automatic falsification (bug finding) for hybrid systems (EMSOFT 2014) and control systems (HSCC 2015).