Prabhat Mishra
Associate Professor
Director, Embedded Systems Lab
Department of Computer and Information Science and Engineering
University of Florida, Gainesville, Florida, USA.
Office: E568, CSE Building                     Email: prabhat AT
Phone: +1 (352) 505-1880                     Fax: +1 (352) 273-0738
Mailing Address: 432 Newell Drive, 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 Lab. His research interests include design automation of embedded systems, energy-aware computing, reconfigurable architectures, hardware security and trust, system validation and verification, and post-silicon debug.

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 and Engineering. Prior to joining University of Florida, he spent several years in various companies including Intel, Motorola, Synopsys and Texas Instruments. He has published four books and more than 100 research articles in premier international journals and conferences. His research has been recognized by several awards including the NSF CAREER Award from the National Science Foundation, IBM Faculty Award, three best paper awards (ISQED 2016, VLSI Design 2011 and CODES+ISSS 2003), and 2004 EDAA Outstanding Dissertation Award from the European Design Automation Association.

Prof. Mishra currently serves as the Deputy Editor-in-Chief of IET Computers & Digital Techniques (CDT), and as an Associate Editor of ACM Transactions on Design Automation of Electronic Systems (TODAES), IEEE Transactions on Very Large Scale Integration (VLSI) Systems (TVLSI), and Journal of Electronic Testing (JETTA). He has served on many organizing committees and technical program committees of premier ACM and IEEE conferences. He is currently serving as an ACM Distinguished Speaker. Prof. Mishra is an ACM Distinguished Scientist and a Senior Member of IEEE.

News Highlights:

Published Books:
System-Level Validation
Springer, 2012
Dynamic Reconfiguration
Springer, 2012
Processor ADLs
Morgan Kaufmann, 2008
Functional Verification
Springer, 2005