Jump to content

Prabhat Mishra: Difference between revisions

Add links
From Wikipedia, the free encyclopedia
Browse history interactively
← Previous editNext edit →
Content deleted Content added
VisualWikitext
m clean up, added orphan tag
First, added several awards and associated references by creating a new "Awards" section. Next, updated "Academic Section" by adding information about IEEE Fellow. Finally, added an upcoming book and references for the other books.
Line 1: Line 1:
{{Orphan|date=November 2020}}
{{Orphan|date=November 2020}}


'''Prabhat Mishra''' is a Professor in the Department of Computer and Information Science and Engineering (CISE) at [[University of Florida]], where he leads the CISE Embedded Systems Labs.<ref>{{Cite web|url=https://www.cise.ufl.edu/~prabhat/|title=Prabhat Mishra, Professor, University of Florida|website=www.cise.ufl.edu|access-date=2020-04-05}}</ref> Prof. Mishra's research interests are in [[hardware security]], [[quantum computing]], [[embedded system]]s, [[System on a chip|system-on-chip]] validation, [[formal verification]], and [[Post-silicon validation|post-silicon debug]].
'''Prabhat Mishra''' is a Professor in the Department of Computer and Information Science and Engineering and a UF Research Foundation Professor at the [[University of Florida]].<ref>{{Cite web|url=https://www.cise.ufl.edu/~prabhat/|title=Prabhat Mishra, Professor, University of Florida|website=www.cise.ufl.edu|access-date=2020-04-05}}</ref><ref name=":0">{{Cite web|title=2020 – UFRF Professors|url=https://ufrfprofessors.research.ufl.edu/category/2020/|access-date=2021-01-09|language=en-US}}</ref> Prof. Mishra's research interests are in [[hardware security]], [[quantum computing]], [[embedded system]]s, [[System on a chip|system-on-chip]] validation, [[formal verification]], and [[Post-silicon validation|post-silicon debug]].


== Biography ==
== Biography ==
Line 7: Line 7:


== Academic Life ==
== Academic Life ==
His research has been recognized by Best Paper Awards and Best Paper Award Nominations at several international conferences. Mishra currently serves as an Associate Editor of [[Association for Computing Machinery|ACM]] Transactions on Design Automation of Electronic Systems (TODAES) and [[Institute of Electrical and Electronics Engineers|IEEE]] Transactions on VLSI Systems (TVLSI). In 2015, he was selected as an ACM Distinguished Scientist.<ref>{{Cite web|url=https://www.acm.org/media-center/2015/november/distinguished-members-2015|title=ACM's Distinguished Members Cited for Advances in Computing that Will Yield Real World Impact|website=www.acm.org|language=en|access-date=2020-04-05}}</ref>
His research has been recognized by Best Paper Awards and Best Paper Award Nominations at several international conferences. Mishra currently serves as an Associate Editor of [[Institute of Electrical and Electronics Engineers|IEEE]] Transactions on VLSI Systems (TVLSI). In 2015, he was selected as an [[Association for Computing Machinery|ACM]] Distinguished Scientist.<ref name=":1">{{Cite web|url=https://www.acm.org/media-center/2015/november/distinguished-members-2015|title=ACM's Distinguished Members Cited for Advances in Computing that Will Yield Real World Impact|website=www.acm.org|language=en|access-date=2020-04-05}}</ref> He was named a Fellow of the [[Institute of Electrical and Electronics Engineers]] (IEEE) in 2021 for contributions to system-on-chip validation and design automation of embedded systems.<ref name=":2">{{Cite web|title=IEEE Fellows Directory|url=https://www.ieee.org/membership/fellows/fellows-directory.html|access-date=2021-01-09|website=www.ieee.org}}</ref><ref name=":3">{{Cite web|title=Meet Your 2021 IEEE Computer Society Fellows {{!}} IEEE Computer Society|url=https://www.computer.org/meet-your-2021-ieee-computer-society-fellows/|access-date=2021-01-09|language=en-US}}</ref>

== Awards ==

* [[Institute of Electrical and Electronics Engineers|IEEE]] Fellow, [[Institute of Electrical and Electronics Engineers]], 2021.<ref name=":2" /><ref name=":3" />
* [[University of Florida|UF]] Research Foundation Professor, [[University of Florida]], 2020.<ref name=":0" />
* [[Institution of Engineering and Technology|IET]] Outstanding Editor Award, [[Institution of Engineering and Technology]], 2019.<ref>{{Cite web|title=IET Journal Outstanding Editor Awards - The IET|url=https://www.theiet.org/media/campaigns/iet-journal-outstanding-editor-awards/|access-date=2021-01-09|website=www.theiet.org|language=en-US}}</ref>
* ISQED Best Paper Award, International Symposium on Quality Electronic Design, 2016.<ref>{{Cite web|title=ISQED Best Papers|url=https://www.isqed.org/English/Conference/Awards_ISQED_BestPapers.html|access-date=2021-01-09|website=www.isqed.org}}</ref>
* [[Association for Computing Machinery|ACM]] Distinguished Scientist, [[Association for Computing Machinery]], 2015.<ref name=":1" />
* [[IBM]] Faculty Award, 2015.<ref>{{Cite web|date=2018-10-01|title=https://www.research.ibm.com/university/awards/faculty-awards_recipients.html|url=https://www.research.ibm.com/university/awards/faculty-awards_recipients.html|access-date=2021-01-09|website=www.research.ibm.com|language=en-US}}</ref>
* VLSI Design Best Paper Award, International Conference on VLSI Design, 2011.<ref>{{Cite web|last=|first=|date=|title=VLSI Design 2011 Best Paper Awards|url=https://www.computer.org/csdl/pds/api/csdl/proceedings/download-article/12OmNBtCCCL/pdf|url-status=live|archive-url=|archive-date=|access-date=|website=}}</ref>
* [[National Science Foundation|NSF]] CAREER Award, [[National Science Foundation|US National Science Foundation]], 2008.<ref>{{Cite web|title=NSF Award Search: Award#0746261 - CAREER: New Directions in Functional Verification of Heterogeneous Multicore Architectures|url=https://www.nsf.gov/awardsearch/showAward?AWD_ID=0746261|access-date=2021-01-09|website=www.nsf.gov}}</ref>
* EDAA Outstanding Dissertation Award, European Design Automation Association, 2004.<ref>{{Cite web|title=European Design and Automation Association|url=https://www.edaa.com/dissertation_award.html|access-date=2021-01-09|website=www.edaa.com}}</ref>
* CODES+ISSS Best Paper Award, International Conference on Codesign & System Synthesis, 2003.<ref>{{Cite web|title=Awards|url=https://esweek.org/awards/|access-date=2021-01-09|website=Embedded Systems Week|language=en-US}}</ref>


== Books ==
== Books ==


* System-on-Chip Security Validation and Verification, Springer, 2019.
* Network-on-Chip Security and Privacy, Springer, 2021.
*System-on-Chip Security Validation and Verification, Springer, 2019.<ref>{{Cite book|last=Farahmandi|first=Farimah|url=https://www.springer.com/gp/book/9783030305956|title=System-on-Chip Security: Validation and Verification|last2=Huang|first2=Yuanwen|last3=Mishra|first3=Prabhat|date=2020|publisher=Springer International Publishing|isbn=978-3-030-30595-6|language=en}}</ref>
* Post-Silicon Validation and Debug, Springer, 2018.
* Post-Silicon Validation and Debug, Springer, 2018.<ref>{{Cite book|url=https://www.springer.com/gp/book/9783319981154|title=Post-Silicon Validation and Debug|date=2019|publisher=Springer International Publishing|isbn=978-3-319-98115-4|editor-last=Mishra|editor-first=Prabhat|language=en|editor-last2=Farahmandi|editor-first2=Farimah}}</ref>
* Hardware IP Security and Trust, Springer, 2017.
* Hardware IP Security and Trust, Springer, 2017.<ref>{{Cite book|url=https://www.springer.com/gp/book/9783319490243|title=Hardware IP Security and Trust|date=2017|publisher=Springer International Publishing|isbn=978-3-319-49024-3|editor-last=Mishra|editor-first=Prabhat|language=en|editor-last2=Bhunia|editor-first2=Swarup|editor-last3=Tehranipoor|editor-first3=Mark M.}}</ref>
* System-Level Validation: High-Level Modeling and Directed Test Generation Techniques, Springer, 2012.
* System-Level Validation: High-Level Modeling and Directed Test Generation Techniques, Springer, 2012.<ref>{{Cite book|last=Chen|first=Mingsong|url=https://www.springer.com/gp/book/9781461413585|title=System-Level Validation: High-Level Modeling and Directed Test Generation Techniques|last2=Qin|first2=Xiaoke|last3=Koo|first3=Heon-Mo|last4=Mishra|first4=Prabhat|date=2013|publisher=Springer-Verlag|isbn=978-1-4614-1358-5|location=New York|language=en}}</ref>
* Dynamic Reconfiguration in Real-Time Systems - Energy, Performance, and Thermal Perspectives, Springer, 2012.
* Dynamic Reconfiguration in Real-Time Systems - Energy, Performance, and Thermal Perspectives, Springer, 2012.<ref>{{Cite book|last=Wang|first=Weixun|url=https://www.springer.com/gp/book/9781461402770|title=Dynamic Reconfiguration in Real-Time Systems: Energy, Performance, and Thermal Perspectives|last2=Mishra|first2=Prabhat|last3=Ranka|first3=Sanjay|date=2013|publisher=Springer-Verlag|isbn=978-1-4614-0277-0|series=Embedded Systems|location=New York|language=en}}</ref>
* Processor Description Languages - Applications and Methodologies, Morgan Kaufmann, 2008.
* Processor Description Languages - Applications and Methodologies, Morgan Kaufmann, 2008.<ref>{{Cite web|title=Processor Description Languages, Volume 1 - 1st Edition|url=https://www.elsevier.com/books/processor-description-languages/mishra/978-0-12-374287-2|access-date=2021-01-09|website=www.elsevier.com}}</ref>
* Functional Verification of Programmable Embedded Architectures - A Top-Down Approach, Springer, 2005.
* Functional Verification of Programmable Embedded Architectures - A Top-Down Approach, Springer, 2005.<ref>{{Cite book|last=Mishra|first=Prabhat|url=https://www.springer.com/gp/book/9780387261430|title=Functional Verification of Programmable Embedded Architectures: A Top-Down Approach|last2=Dutt|first2=Nikil D.|date=2005|publisher=Springer US|isbn=978-0-387-26143-0|language=en}}</ref>


== References ==
== References ==
Line 23: Line 37:
{{reflist}}
{{reflist}}


== External links ==

* [https://www.cise.ufl.edu/~prabhat/ Prabhat Mishra home page]
* [https://scholar.google.no/citations?user=ZlhpUZoAAAAJ&hl=en Prabhat Mishra] publications indexed by [[Google Scholar]]
{{DEFAULTSORT:Mishra, Prabhat}}
{{DEFAULTSORT:Mishra, Prabhat}}
[[Category:American computer scientists]]
[[Category:American computer scientists]]
[[Category:Year of birth missing (living people)]]
[[Category:Living people]]
[[Category:Living people]]
⚫
[[Category:Indian computer scientists]]
[[Category:Computer hardware researchers]]
[[Category:Computer hardware researchers]]
[[Category:Indian expatriates in the United States]]
[[Category:Fellow Members of the IEEE]]
[[Category:Indian expatriate academics]]
[[Category:University of Florida faculty]]
[[Category:Expatriate academics in the United States]]
[[Category:Indian Institute of Technology Kharagpur alumni]]
[[Category:Indian emigrants to the United States]]
[[Category:Jadavpur University alumni]]
⚫
[[Category:Indian computer scientists]]
[[Category:Computer science writers]]

Revision as of 04:18, 9 January 2021

Prabhat Mishra is a Professor in the Department of Computer and Information Science and Engineering and a UF Research Foundation Professor at the University of Florida.[1][2] Prof. Mishra's research interests are in hardware security, quantum computing, embedded systems, system-on-chip validation, formal verification, and post-silicon debug.

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. 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. Mishra currently serves as an Associate Editor of IEEE Transactions on VLSI Systems (TVLSI). In 2015, he was selected as an ACM Distinguished Scientist.[3] He was named a Fellow of the Institute of Electrical and Electronics Engineers (IEEE) in 2021 for contributions to system-on-chip validation and design automation of embedded systems.[4][5]

Awards

Books

  • Network-on-Chip Security and Privacy, Springer, 2021.
  • System-on-Chip Security Validation and Verification, Springer, 2019.[13]
  • Post-Silicon Validation and Debug, Springer, 2018.[14]
  • Hardware IP Security and Trust, Springer, 2017.[15]
  • System-Level Validation: High-Level Modeling and Directed Test Generation Techniques, Springer, 2012.[16]
  • Dynamic Reconfiguration in Real-Time Systems - Energy, Performance, and Thermal Perspectives, Springer, 2012.[17]
  • Processor Description Languages - Applications and Methodologies, Morgan Kaufmann, 2008.[18]
  • Functional Verification of Programmable Embedded Architectures - A Top-Down Approach, Springer, 2005.[19]

References

  1. ^ "Prabhat Mishra, Professor, University of Florida". www.cise.ufl.edu. Retrieved 2020-04-05.
  2. ^ a b "2020 – UFRF Professors". Retrieved 2021-01-09.
  3. ^ a b "ACM's Distinguished Members Cited for Advances in Computing that Will Yield Real World Impact". www.acm.org. Retrieved 2020-04-05.
  4. ^ a b "IEEE Fellows Directory". www.ieee.org. Retrieved 2021-01-09.
  5. ^ a b "Meet Your 2021 IEEE Computer Society Fellows | IEEE Computer Society". Retrieved 2021-01-09.
  6. ^ "IET Journal Outstanding Editor Awards - The IET". www.theiet.org. Retrieved 2021-01-09.
  7. ^ "ISQED Best Papers". www.isqed.org. Retrieved 2021-01-09.
  8. ^ "https://www.research.ibm.com/university/awards/faculty-awards_recipients.html". www.research.ibm.com. 2018-10-01. Retrieved 2021-01-09. {{cite web}}: External link in |title= (help)
  9. ^ "VLSI Design 2011 Best Paper Awards".{{cite web}}: CS1 maint: url-status (link)
  10. ^ "NSF Award Search: Award#0746261 - CAREER: New Directions in Functional Verification of Heterogeneous Multicore Architectures". www.nsf.gov. Retrieved 2021-01-09.
  11. ^ "European Design and Automation Association". www.edaa.com. Retrieved 2021-01-09.
  12. ^ "Awards". Embedded Systems Week. Retrieved 2021-01-09.
  13. ^ Farahmandi, Farimah; Huang, Yuanwen; Mishra, Prabhat (2020). System-on-Chip Security: Validation and Verification. Springer International Publishing. ISBN 978-3-030-30595-6.
  14. ^ Mishra, Prabhat; Farahmandi, Farimah, eds. (2019). Post-Silicon Validation and Debug. Springer International Publishing. ISBN 978-3-319-98115-4.
  15. ^ Mishra, Prabhat; Bhunia, Swarup; Tehranipoor, Mark M., eds. (2017). Hardware IP Security and Trust. Springer International Publishing. ISBN 978-3-319-49024-3.
  16. ^ Chen, Mingsong; Qin, Xiaoke; Koo, Heon-Mo; Mishra, Prabhat (2013). System-Level Validation: High-Level Modeling and Directed Test Generation Techniques. New York: Springer-Verlag. ISBN 978-1-4614-1358-5.
  17. ^ Wang, Weixun; Mishra, Prabhat; Ranka, Sanjay (2013). Dynamic Reconfiguration in Real-Time Systems: Energy, Performance, and Thermal Perspectives. Embedded Systems. New York: Springer-Verlag. ISBN 978-1-4614-0277-0.
  18. ^ "Processor Description Languages, Volume 1 - 1st Edition". www.elsevier.com. Retrieved 2021-01-09.
  19. ^ Mishra, Prabhat; Dutt, Nikil D. (2005). Functional Verification of Programmable Embedded Architectures: A Top-Down Approach. Springer US. ISBN 978-0-387-26143-0.

External links

Retrieved from "https://en.wikipedia.org/w/index.php?title=Prabhat_Mishra&oldid=999236116"