Prabhat Mishra Explained

Birth Place:	Midnapore, India
Nationality:	American
Fields:	Computer Science
Workplaces:	University of Florida
Alma Mater:	Univ. of California, Irvine
Doctoral Advisor:	Nikil Dutt
Known For:	Validation and Verification
Awards:	IEEE Fellow, AAAS Fellow
Website:	www.cise.ufl.edu/~prabhat

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.

Biography

Born and raised in India, Mishra received his Ph.D. in Computer Science from the University of California at Irvine in 2004. He received a B.E. in Computer Science from the Jadavpur University, India in 1994, and M.Tech. in Computer Science from the Indian Institute of Technology, Kharagpur, India in 1995. In 2004, he joined University of Florida as an Assistant Professor. In 2010, he was promoted to an Associate Professor and by 2016 he became a Professor at the same institution.^[1] He currently lives in Gainesville, Florida with his family.

Academic life

His research has been recognized by Best Paper Awards and Best Paper Award Nominations at several international conferences. Dr. Mishra currently serves as an Associate Editor of the IEEE Transactions on VLSI Systems and ACM Transactions on Embedded Computing Systems. In 2015, he was selected as an ACM Distinguished Scientist.^[2] He was named a Fellow of the Institute of Electrical and Electronics Engineers in 2021 for contributions to system-on-chip validation and design automation of embedded systems.^{[3] [4]} He was elected a Fellow of the American Association for the Advancement of Science in 2023 .^{[5] [6]}

Awards

• AAAS Fellow, American Association for the Advancement of Science, 2023.
• IEEE Fellow, Institute of Electrical and Electronics Engineers, 2021.
• UF Research Foundation Professor, University of Florida, 2020.^[7]
• IET Outstanding Editor Award, Institution of Engineering and Technology, 2019.^[8]
• ISQED Best Paper Award, International Symposium on Quality Electronic Design, 2016.^[9]
• ACM Distinguished Scientist, Association for Computing Machinery, 2015.
• IBM Faculty Award, 2015.^[10]
• VLSI Design Best Paper Award, International Conference on VLSI Design, 2011.^[11]
• NSF CAREER Award, US National Science Foundation, 2008.^[12]
• EDAA Outstanding Dissertation Award, European Design Automation Association, 2004.^[13]
• CODES+ISSS Best Paper Award, International Conference on Codesign & System Synthesis, 2003.^[14]

Books

• Explainable AI for Cybersecurity, Springer, 2023.^[15]
• Network-on-Chip Security and Privacy, Springer, 2021.^[16]
• System-on-Chip Security Validation and Verification, Springer, 2019.^[17]
• Post-Silicon Validation and Debug, Springer, 2018.^[18]
• Hardware IP Security and Trust, Springer, 2017.^[19]
• System-Level Validation, Springer, 2012.^[20]
• Dynamic Reconfiguration in Real-Time Systems, Springer, 2012.^[21]
• Processor Description Languages - Applications and Methodologies, Morgan Kaufmann, 2008.^[22]
• Functional Verification of Programmable Embedded Architectures, Springer, 2005.^[23]

External links

• Prabhat Mishra home page
• Prabhat Mishra publications indexed by Google Scholar

Notes and References

1. Web site: Prabhat Mishra, Professor, University of Florida. www.cise.ufl.edu. 2020-04-05.
2. Web site: ACM's Distinguished Members Cited for Advances in Computing that Will Yield Real World Impact. www.acm.org. en. 2020-04-05.
3. Web site: IEEE Fellows Directory. 2021-01-09. IEEE.
4. Web site: Meet Your 2021 IEEE Computer Society Fellows IEEE Computer Society. 10 December 2020 . 2021-01-09. en-US.
5. Web site: AAAS Honorary Fellows . 2023-01-31 . www.aaas.org.
6. Web site: 2022 AAAS Fellows . 2023-01-31 . www.aaas.org.
7. Web site: 2020 – UFRF Professors . 2021-01-09 . en-US.
8. Web site: IET Journal Outstanding Editor Awards - The IET. 2021-01-09. www.theiet.org. en-US.
9. Web site: ISQED Best Papers. 2021-01-09. www.isqed.org.
10. Web site: 2018-10-01 . IBM Faculty Awards . 2021-01-09 . www.research.ibm.com .
11. Web site: VLSI Design 2011 Best Paper Awards.
12. Web site: NSF Award Search: Award#0746261 - CAREER: New Directions in Functional Verification of Heterogeneous Multicore Architectures. 2021-01-09. www.nsf.gov.
13. Web site: European Design and Automation Association. 2021-01-09. www.edaa.com.
14. Web site: Awards. 2021-01-09. Embedded Systems Week. en-US.
15. Book: Pan, Zhixin . Explainable AI for Cybersecurity . Mishra . Prabhat . Springer . 2023 . 978-3-031-46478-2.
16. Book: Network-on-Chip Security and Privacy. 2021. Springer International Publishing. 978-3-030-69130-1. Mishra. Prabhat. en. Charles. Subodha.
17. Book: Farahmandi. Farimah. System-on-Chip Security: Validation and Verification. Huang. Yuanwen. Mishra. Prabhat. 2020. Springer International Publishing. 978-3-030-30595-6. en.
18. Book: Post-Silicon Validation and Debug. 2019. Springer International Publishing. 978-3-319-98115-4. Mishra. Prabhat. en. Farahmandi. Farimah.
19. Book: Hardware IP Security and Trust. 2017. Springer International Publishing. 978-3-319-49024-3. Mishra. Prabhat. en. Bhunia. Swarup. Tehranipoor. Mark M..
20. Book: Chen. Mingsong. System-Level Validation: High-Level Modeling and Directed Test Generation Techniques. Qin. Xiaoke. Koo. Heon-Mo. Mishra. Prabhat. 2013. Springer-Verlag. 978-1-4614-1358-5. New York. en.
21. Book: Wang. Weixun. Dynamic Reconfiguration in Real-Time Systems: Energy, Performance, and Thermal Perspectives. Mishra. Prabhat. Ranka. Sanjay. 2013. Springer-Verlag. 978-1-4614-0277-0. Embedded Systems. New York. en.
22. Web site: Processor Description Languages, Volume 1 - 1st Edition. 2021-01-09. www.elsevier.com.
23. Book: Mishra. Prabhat. Functional Verification of Programmable Embedded Architectures: A Top-Down Approach. Dutt. Nikil D.. 2005. Springer US. 978-0-387-26143-0. en.