Prabhat Mishra

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:

Feb 09, 2012: Xiaoke and Weixun's work is accepted to appear in IEEE Trans. on TCAD.
Feb 06, 2012: Dr. Mishra has been appointed as an Associate Editor of ACM TODAES.
Jan 30, 2012: Hadi and Kamran's work on cache reconfiguration is accepted to appear in SUSCOM.
Jan 15, 2012: Xiaoke's work has been Nominated for Best Paper Award in DATE, 2012.
Dec 01, 2011: Xiaoke's work on multicore validation is accepted to appear in ACM TODAES.
Nov 30, 2011: Congratulations to Kanad for passing his proposal defense.
Nov 17, 2011: Xiaoke's work on test generation is accepted to appear in DATE, Dresden, Germany.
Oct 12, 2011: Hadi's work on intra-task cache reconfiguration is accepted to appear in VLSI Design.
Oct 12, 2011: Zhe's work on temperature-aware task partitioning is accepted to appear in VLSI Design.
Sep 27, 2011: Congratulations to Xiaoke for passing his proposal defense.
Sep 23, 2011: Kanad has presented his work on signal selection in ITC, Anaheim, California.