Biography:Prabhat Mishra

From HandWiki
Prabhat Mishra
Born
West Bengal, India
Alma materUniv. of California, Irvine
Known forValidation and Verification
AwardsIEEE Fellow, AAAS Fellow
Scientific career
FieldsComputer science
InstitutionsUniversity of Florida
Doctoral advisorNikil Dutt
Websitewww.cise.ufl.edu/~prabhat

Prabhat Mishra is a professor in the Department of Computer and Information Science and Engineering at the University of Florida.[1] 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,[citation needed] 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 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. In 2015, he was selected as an ACM Distinguished Member.[2] He was named an IEEE Fellow in 2021 for contributions to system-on-chip validation and design automation of embedded systems.[3][4] He was elected an AAAS Fellow in 2023 .[5][6]

Awards

Books

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

References

  1. ↑ 1.0 1.1 "Prabhat Mishra, Professor, University of Florida". https://www.cise.ufl.edu/~prabhat/. 
  2. ↑ 2.0 2.1 "ACM's Distinguished Members Cited for Advances in Computing that Will Yield Real World Impact" (in en). https://www.acm.org/media-center/2015/november/distinguished-members-2015. 
  3. ↑ 3.0 3.1 "IEEE Fellows Directory". https://www.ieee.org/membership/fellows/fellows-directory.html. 
  4. ↑ 4.0 4.1 "Meet Your 2021 IEEE Computer Society Fellows | IEEE Computer Society" (in en-US). 10 December 2020. https://www.computer.org/meet-your-2021-ieee-computer-society-fellows/. 
  5. ↑ 5.0 5.1 "AAAS Honorary Fellows". https://www.aaas.org/fellows. 
  6. ↑ 6.0 6.1 "2022 AAAS Fellows". https://www.aaas.org/programs/fellows/2022-aaas-fellows. 
  7. ↑ "Faculty Doctoral Mentoring Award Winners". https://grad.ufl.edu/work/awards/fdma/fdma-winners/fdma-2024-2025/. 
  8. ↑ "2020 – UFRF Professors" (in en-US). https://ufrfprofessors.research.ufl.edu/category/2020/. 
  9. ↑ "UF Research Foundation names 2025 professors". https://news.ufl.edu/2025/04/ufrf-professors/. 
  10. ↑ "IET Journal Outstanding Editor Awards - The IET" (in en-US). https://www.theiet.org/media/campaigns/iet-journal-outstanding-editor-awards/. 
  11. ↑ "ISQED Best Papers". https://www.isqed.org/English/Conference/Awards_ISQED_BestPapers.html. 
  12. ↑ "IBM Faculty Awards". 2018-10-01. https://www.research.ibm.com/university/awards/faculty-awards_recipients.html. 
  13. ↑ "VLSI Design 2011 Best Paper Awards". https://www.computer.org/csdl/pds/api/csdl/proceedings/download-article/12OmNBtCCCL/pdf. 
  14. ↑ "NSF Award Search: Award#0746261 - CAREER: New Directions in Functional Verification of Heterogeneous Multicore Architectures". https://www.nsf.gov/awardsearch/showAward?AWD_ID=0746261. 
  15. ↑ "European Design and Automation Association". https://www.edaa.com/dissertation_award.html. 
  16. ↑ "Awards" (in en-US). https://esweek.org/awards/. 
  17. ↑ Mishra, Prabhat (March 2026). Design Automation for Quantum Computing. Springer. ISBN 978-303209302-8. https://link.springer.com/book/9783032093028. 
  18. ↑ Pan, Zhixin; Mishra, Prabhat (2023). Explainable AI for Cybersecurity. Springer. ISBN 978-3-031-46478-2. https://www.springer.com/gp/book/9783031464782. 
  19. ↑ Mishra, Prabhat, ed (2021) (in en). Network-on-Chip Security and Privacy. Springer International Publishing. ISBN 978-3-030-69130-1. https://www.springer.com/gp/book/9783030691301. 
  20. ↑ Farahmandi, Farimah; Huang, Yuanwen; Mishra, Prabhat (2020) (in en). System-on-Chip Security: Validation and Verification. Springer International Publishing. ISBN 978-3-030-30595-6. https://www.springer.com/gp/book/9783030305956. 
  21. ↑ Mishra, Prabhat, ed (2019) (in en). Post-Silicon Validation and Debug. Springer International Publishing. ISBN 978-3-319-98115-4. https://www.springer.com/gp/book/9783319981154. 
  22. ↑ Mishra, Prabhat, ed (2017) (in en). Hardware IP Security and Trust. Springer International Publishing. ISBN 978-3-319-49024-3. https://www.springer.com/gp/book/9783319490243. 
  23. ↑ Chen, Mingsong; Qin, Xiaoke; Koo, Heon-Mo; Mishra, Prabhat (2013) (in en). System-Level Validation: High-Level Modeling and Directed Test Generation Techniques. New York: Springer-Verlag. ISBN 978-1-4614-1358-5. https://www.springer.com/gp/book/9781461413585. 
  24. ↑ Wang, Weixun; Mishra, Prabhat; Ranka, Sanjay (2013) (in en). Dynamic Reconfiguration in Real-Time Systems: Energy, Performance, and Thermal Perspectives. Embedded Systems. New York: Springer-Verlag. ISBN 978-1-4614-0277-0. https://www.springer.com/gp/book/9781461402770. 
  25. ↑ Mishra, Prabhat; Dutt, Nikil (29 May 2008). Processor Description Languages. Morgan Kaufmann (Elsevier). ISBN 978-0-12-374287-2. https://www.elsevier.com/books/processor-description-languages/mishra/978-0-12-374287-2. Retrieved 2026-02-22. 
  26. ↑ Mishra, Prabhat; Dutt, Nikil D. (2005) (in en). Functional Verification of Programmable Embedded Architectures: A Top-Down Approach. Springer US. ISBN 978-0-387-26143-0. https://www.springer.com/gp/book/9780387261430. 



Retrieved from "https://handwiki.org/wiki/index.php?title=Biography:Prabhat_Mishra&oldid=4294520"