Prabhat Mishra

Prabhat Mishra is a professor in the Department of Computer and Information Science and Engineering at the University of Florida. Prof. Mishra's research interests are in hardware security, quantum computing, embedded systems, system-on-chip validation, formal verification, and machine learning.

Ebooks

System-on-Chip Security: Validation and Verification

Explainable AI for Cybersecurity

System-Level Validation: High-Level Modeling and Directed Test Generation Techniques

Dynamic Reconfiguration in Real-Time Systems: Energy, Performance, and Thermal Perspectives

Functional Verification of Programmable Embedded Architectures: A Top-Down Approach