He received B.S and M.S. degrees in ECE from UMass Amherst, and a Ph.D. in EECS from UC Berkeley in 2013; his dissertation topic was formal verification of network-on-chip QoS properties using scalable model checking. In 2014 he was a research fellow at the University of Michigan working with Kevin Fu. His research focuses on methodologies for building secure, reliable, and efficient embedded systems.