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 and cyber physical
systems, energy-aware computing, hardware/software verification, and design of
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
Phone: +1 (352) 505-1880 Fax: +1 (352) 392-1220
Mailing Address: P. O. Box 116120, Gainesville, FL 32611-6120, USA
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 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
CAREER Award from the National Science Foundation, two best paper awards
(VLSI Design 2011 and
CODES+ISSS 2003), four best
paper award nominations (DAC'09, VLSI'09, DATE'12 and VLSI'13), 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), IET Computers & Digital Techniques (CDT), and Journal of Electronic Testing (JETTA), and as a technical program committee member of several ACM and IEEE conferences including DAC, ICCAD, DATE, ASPDAC, CODES+ISSS, RTAS 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 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.