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 cise.ufl.edu
Phone: +1 (352) 505-1880                     Fax: +1 (352) 392-1220
Mailing Address: 432 Newell Drive, Gainesville, FL 32611-6120, USA
Research assistantships available. Please read this before you contact me.

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, security and trust, hardware/software 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, ten book chapters 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, two best paper awards (VLSI Design 2011 and CODES+ISSS 2003), five best paper nominations (including DAC'09 and DATE'12), 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 international research and teaching contributions.

Prof. Mishra currently serves as the Deputy Editor-in-Chief of IET Computers & Digital Techniques (CDT). He is an Associate Editor of ACM Transactions on Design Automation of Electronic Systems (TODAES), IEEE Transactions on Very Large Scale Integration (VLSI) Systems (TVLSI), IEEE Design & Test (D&T), and Journal of Electronic Testing (JETTA). He also serves (or served) as Program Chair of RSP 2015 and HLDVT 2009, General Chair of HLDVT 2010, Workshop Chair of ESWEEK 2014, Tutorial Chair of VLSI 2016, and technical program committee member of several premier ACM and IEEE conferences. He has also served as an Associate Editor of IET CDT, Information Director of ACM TODAES, and Guest Editor of IEEE Transactions on Computers (TC), IEEE D&T, Springer JETTA and IJPP. He is a senior member of both ACM and IEEE.

News Highlights:


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