Secure and reliable embedded systems
Embedded Systems
Security
Formal Verification and Design Automation
VLSI
B.S. Electrical & Computer Engineering, University of Massachusetts 2005
M.S. Electrical & Computer Engineering, University of Massachusetts 2007
Ph.D. Electrical Engineering and Computer Sciences, University of California Berkeley 2013
Institute of Electrical and Electronics Engineers (IEEE); Tau Beta Pi Engineering National Honor Society