Dr. Mishra wins 2004 EDAA Outstanding Dissertation Award
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."