GET IN TOUCH
We take pride in personally connecting with all interested partners, collaborators and potential clients. Please email us with a brief description of how you would like to be connected with Galois and we will do our best to respond within one business day.
Aditya Zutshi
Research Engineer
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).
WORK AREAS
No areas found
