|
Prabhat Mishra
UF Research Foundation Professor
Director, Trustworthy and Intelligent Systems Lab
Professor, Computer and Information Science and Engineering
University of Florida, Gainesville, Florida, USA.
IEEE Fellow, Institute of Electrical and Electronics Engineers (IEEE)
AAAS Fellow, American Association for the Advancement of Science (AAAS)
ACM Distinguished Scientist, Association for Computing Machinery (ACM)
|
|
|
|
|
Office: 4002, Malachowsky Hall Email: firstname AT ufl.edu
|
|
Phone: +1 (352) 294-6658   Fax: +1 (352) 273-0738
|
|
Mailing Address: 1889 Museum Road, Gainesville, FL 32611-6120, USA
|
Prabhat Mishra is a Professor in the Department of Computer and Information Science and Engineering (CISE) and a UF Research Foundation Professor at the University of Florida (UF). His research interests include embedded systems, hardware security, energy-aware computing, formal verification, system-on-chip validation, machine learning, and quantum computing.
He received his B.E. from Jadavpur University, M.Tech. from Indian Institute of Technology at Kharagpur, and Ph.D. from the University
of California at Irvine - all in Computer Science and Engineering. Prior to joining UF, he
spent several years in various companies, including Intel, Motorola, Sasken, Synopsys, and Texas Instruments. He is an IEEE Fellow, a Fellow of the American Association of the Advancement of Science, and an ACM Distinguished Scientist.
Research Highlights: (list of publications)
- Research Interests: embedded systems, hardware security, hardware verification, and quantum computing.
- Publications: 10 books, 42 book chapters, 30 patents, 84 journal articles, and 149 conference papers.
- Sponsors: Federal agencies (e.g., NSF and DARPA) and industry (e.g., SRC, Raytheon, Intel, Cisco, and IBM)
- NSF CAREER Award, USA National Science Foundation (NSF), 2008
- Best Paper Awards (CODES+ISSS 2003, VLSID 2011, and ISQED 2016)
- EDAA Outstanding Dissertation Award, European Design Automation Association (EDAA), 2004, 2024
- UF Invention of the Year Award, UF Innovate, University of Florida, 2024
Teaching Highlights: (list of students)
- Courses Taught: computer organization, embedded systems, hardware verification, and computer architecture.
- Evaluations: Both graduate and undergraduate courses received high evaluation scores (4.3-4.9 out of 5.0).
- Graduate Advising: 3 postdocs, 18 Ph.D. dissertations (seven tenured/tenure-track faculty), and 5 M.S. theses.
- Underaduate Mentoring: 6 honors theses, 3 university scholars, 1 AI scholars, and 44 undergraduate researchers.
- IEEE CEDA Distinguished Lecturer, IEEE Council of Electronic Design Automation (CEDA), 2023
- ACM Distinguished Speaker, Association for Computing Machinery (ACM), 2016
- UF Doctoral Dissertation Mentoring Award, University of Florida, 2025
Services Highlights: (list of professional services)
- Chair, Editor-in-Chief Search Committee, ACM Trans. on Reconfigurable Technology and Systems (TRETS), 2025.
- Chair, IEEE CEDA Fellow Evaluation Committee, IEEE Council of Electronic Design Automation, 2024, 2025.
- Chair, IEEE Cohort (CEDA+NANO) Fellow Evaluation Committee, 2025.
- Associate Editor ACM TODAES ('12 - '25), ACM TECS ('21 - '25), IEEE TVLSI ('15-'22), IEEE D&T ('11-'15).
- Program Chair, IEEE International Symposium on Hardware Oriented Security and Trust (HOST), 2026.
- Program Chair, International Conference on HW/SW Codesign and System Synthesis (CODES+ISSS), 2025.
- Program Chair, International Conference on VLSI Design (VLSID), 2019.
News Highlights:
- Jan 19, 2026: Emma's work on LLM-based AI Accelerator Validation is accepted in ISQED 2026.
- Jan 19, 2026: Emma's work on AI Acceleraton using Tensor Decomposition is accepted in ISQED 2026.
- Jan 19, 2026: Nahyeon's work on Energy-aware AI Compression is accepted in ISQED 2026.
- Aug 17, 2025: Collaborative work on logic locking based hardware Trojans is accepted in IEEE TCAD.
- Jul 13, 2025: Aruna's work on coverage-directed hardware fuzzing is accepted in ACM TECS and CASES 2025.
- Jun 21, 2025: Hansika and Aruna's work on formal verification of bioinformatics algorithms is accepted in BIB 2025.
- Jun 26, 2025: Dakshina won the DAC Emerging Controbutor Award in the 2025 DAC Wikipedia Challenge.
- Jun 21, 2025: Aruna's work on symbolic execution of firmware binaries is accepted in TIFS 2025.
- Apr 08, 2025: Dr. Mishra has been named as a UF Research Foundation Professor.
- Feb 25, 2025: Dr. Mishra has been selected as a UF Doctoral Dissertation Mentoring Awardee.
- Feb 17, 2025: Hansika's work on traffic analysis atttacks on wireless NoCs is accepted in HOST 2024.
- Feb 15, 2025: Sahan and Aruna's work on supply voltage vulnerability is accepted in IEEE Trans. on VLSI.
- Jan 21, 2025: Dr. Mishra has been selected as a HWCOE Faculty Doctoral Mentoring Awardee.
- Jan 09, 2025: Aruna and Richard's work on information leakage assessment is accepted in TIFS 2025.
Published Books:
|
| Springer'26 |
|
|
| Springer'23 |
|
|
| Springer'21 |
|
|
| Springer'19 |
|
|
| Springer'18 |
|
|
| Springer'17 |
|
|
| Springer'12 |
|
|
| Springer'12 |
|
|
| MK 2008 |
|
|
| Springer'05 |
|
|