Prabhat Mishra
Assistant Professor (CV)
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) 450-3402                Fax: +1 (352) 392-1220
Mailing Address: P. O. Box 116120, Gainesville, FL 32611, USA
Prabhat Mishra is an Assistant 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 reconfigurable architectures. Specifically, his research group is focused on developing tools, techniques and methodologies for system level modeling, design space exploration, functional test generation, retargetable simulation, architecture synthesis, lossless compression, real-time scheduling, dynamic reconfiguration, and functional verification of System-on-Chip architectures.

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), eight book chapters and more than 50 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, CODES+ISSS Best Paper Award, several best paper award nominations including DAC 2009 and VLSI Design 2009, and EDAA Outstanding Dissertation Award from the European Design Automation Association. He has also received the 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 Program Chair of IEEE High Level Design Validation and Test (HLDVT) workshop, Information Director of ACM Transactions on Design Automation of Electronic Systems (TODAES), Guest Editor of Springer Journal of Electronic Testing (JETTA), and as a program/organizing committee member of several ACM and IEEE conferences including DATE, ASPDAC, CODES+ISSS, and VLSI Design. He is a senior member of the IEEE, and a professional member of ACM.

Recent News:

Recently Published Books:
 
Processor Description Languages: Applications and Methodologies
Prabhat Mishra and Nikil Dutt (Editors)
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

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