Prabhat Mishra
Associate Professor (CV)
Director, Embedded Systems Lab
Department of Computer and Information Science and Engineering
University of Florida, Gainesville, Florida, USA.
Office: E568, CSE Building                     Email: prabhat @ cise.ufl.edu
Phone: +1 (352) 505-1880                     Fax: +1 (352) 392-1220
Mailing Address: P. O. Box 116120, Gainesville, FL 32611-6120, USA
Prabhat Mishra is an Associate Professor in the Department of Computer and Information Science and Engineering (CISE) at the University of Florida (UF) where he leads the CISE Embedded Systems Group. His research interests include design automation of embedded systems, hardware/software verification, VLSI CAD, and low-power reconfigurable architectures. The Embedded System Lab webpage has details on research and publications.

He received his B.E. from Jadavpur University, Kolkata in 1994, M.Tech. from the Indian Institute of Technology, Kharagpur in 1996, and Ph.D. from the University of California, Irvine in 2004 -- all in Computer Science. Prior to joining University of Florida, he spent several years in various semiconductor and design automation companies including Intel, Motorola, Synopsys and Texas Instruments. He has published two books (Springer 2005 and MK 2008), nine book chapters and more than 80 research articles in premier journals and conferences. His research has been recognized by several awards including the NSF CAREER Award from the National Science Foundation, two best paper awards (VLSI Design 2011 and CODES+ISSS 2003), four best paper award nominations, and 2004 EDAA Outstanding Dissertation Award from the European Design Automation Association. He has also received the 2007 International Educator of the Year Award from the UF College of Engineering for his significant international research and teaching contributions.

Prof. Mishra currently serves as an Associate Editor of ACM Transactions on Design Automation of Electronic Systems (TODAES), IEEE Design & Test of Computers (D&T) and Journal of Electronic Testing (JETTA), Guest Editor of IEEE Transactions on Computers (TC), and as a program/organizing committee member of several ACM and IEEE conferences including ICCAD, DATE, ASPDAC, CODES+ISSS, and VLSI Design. He has also served as General Chair of IEEE High Level Design Validation and Test (HLDVT) 2010, Program Chair of HLDVT 2009, Information Director on (TODAES), and Guest Editor of IEEE Design & Test of Computers (D&T), Journal of Electronic Testing (JETTA) and International Journal of Parallel Programming (IJPP). He is a senior member of ACM, and a senior member of IEEE.

Recent News:


Recently Published Books:
 
Processor Description Languages: Applications and Methodologies
Prabhat Mishra and Nikil Dutt (Eds)
Morgan Kaufmann, June 2008
ISBN: 978-0-12-374287-2
         
 
Functional Verification of Programmable Architectures
Prabhat Mishra and Nikil Dutt
Springer, July 2005
ISBN: 0-387-26143-5


Upcoming Books:
 
Dynamic Reconfiguration in Real-Time Systems: Energy, Performance and Thermal Perspectives
Weixun Wang, Prabhat Mishra and Sanjay Ranka
Springer, May 2012
         
 
System-Level Validation: High-Level Modeling and Directed Test Generation Techniques
Mingsong Chen, Xiaoke Qin, Prabhat Mishra
Springer, December 2012

Please feel free to email me if you have any questions, comments or suggestions.