Dr.  Prabhat Mishra Digital Library

Based in Gainesville, FL, United States
Prabhat Mishra


Prabhat Mishra is an Associate Professor in the Department of Computer and Information Science and Engineering at the University of Florida 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 five books, fifteen book chapters, and more than 125 research articles in premier international journals and conferences. His research projects are sponsored by both the government funding agencies (NSF, ARO and DOE) and the industry (SRC, Intel, Cisco and Harris). His research has been recognized by several awards including the NSF CAREER Award from the US 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, and as an Associate Editor of ACM Transactions on Design Automation of Electronic Systems, IEEE Transactions on Very Large Scale Integration (VLSI) Systems, and Springer Journal of Electronic Testing. 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.

Available Lectures

To request a single lecture/event, click on the desired lecture and complete the Request Lecture Form.

  • Design Automation for Embedded Systems
    Embedded systems are everywhere. They run the computing devices hidden inside a vast array of everyday products such as mobile phones, gadgets, cameras, and smart appliances. Cars are full of...
  • Energy-Aware Dynamic Reconfiguration in Real-Time Systems
    Energy is one of the key design considerations in embedded systems. Optimization techniques based on dynamic reconfiguration are widely employed for achieving various design objectives. While...
  • High-level Modeling and Validation of Embedded Systems
    Design validation is a major bottleneck in System-on-Chip (SoC) design – up to 70% of the time (cost) is spent in functional and timing validation. To drastically reduce overall validation...
  • Post-Silicon Validation and Debug
    Post-silicon validation is widely acknowledged as a major bottleneck for complex integrated circuits. Due to increasing design complexity coupled with shrinking time-to-market constraints, it is...
  • Validation of Hardware Security and Trust
    Reusable hardware Intellectual Property (IP) based System-on-Chip (SoC) design has emerged as a pervasive design practice in the industry to dramatically reduce design/verification cost while...

To request a tour with this speaker, please complete this online form.

If you are not requesting a tour, click on the desired lecture and complete the Request this Lecture form.

All requests will be sent to ACM headquarters for review.