She completed her Ph.D. in Electrical Engineering and Computer Sciences at the University of California, Berkeley in 2007. She was a member of the UC Berkeley Ptolemy Project and Center for Hybrid and Embedded Software Systems (Chess). She earned a master's degree (M.S.) in Electrical Engineering and Computer Sciences from the University of California, Berkeley in 2003 and a bachelor's degree (B.S.) in Electrical Engineering from the University of Maryland, College Park in 2000.