Dr. Prabhat Mishra won the EDAA outstanding dissertation award for the topic "New Directions in Embedded System Design Automation." His paper is titled, "Specification-Driven Validation of Programmable Embedded Systems."