|
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:
- Nov 06, 2009: Mingsong and Xiaoke's work on decision ordering is accepted to appear in DATE.
- Oct 09, 2009: Xiaoke's work on bitstream compression is accepted to appear in IEEE Trans. on VLSI.
- Oct 05, 2009: Mingsong's work on property clustering is accepted to appear in IEEE Trans. on CAD.
- Sep 20, 2009: Weixun's work on dynamic cache reconfiguration is accepted to appear in VLSI Design .
- Sep 20, 2009: Xiaoke and Mingsong's work on test generation is accepted to appear in VLSI Design .
Recently Published Books:
|
Please feel free to email me if you have any questions, comments or suggestions.
|
|
|
