He received the B.S. degree in Electrical Engineering from Georgia Tech (2010), and the M.S. and Ph.D. degrees in Electrical Engineering from the University of California, Berkeley (2012 and 2015). In 2015, he was a postdoctoral research engineer at Sensys Networks, a wireless traffic sensing company, and in 2012 he was a research intern at NASA's Jet Propulsion Lab. He received the Leon O. Chua Award from UC Berkeley EECS in 2014 for "outstanding achievement in an area of nonlinear science" and the best student paper award at the 2015 Hybrid Systems: Computation and Control conference. His research focus is on developing scalable tools for verification and design of networked cyber-physical systems, and his research has applied these tools to create efficient and intelligent transportation systems.