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 Hardware security is a discipline originated from the cryptographic engineering and involves hardware design, access control, secure multi-party computation, secure key storage, ensuring code authenticity, measures to ensure that the supply chain ...

quantum computing A quantum computer is a computer that exploits quantum mechanical phenomena. On small scales, physical matter exhibits properties of wave-particle duality, both particles and waves, and quantum computing takes advantage of this behavior using s ...

embedded system An embedded system is a specialized computer system—a combination of a computer processor, computer memory, and input/output peripheral devices—that has a dedicated function within a larger mechanical or electronic system. It is e ...

system-on-chip A system on a chip (SoC) is an integrated circuit that combines most or all key components of a computer or electronic system onto a single microchip. Typically, an SoC includes a central processing unit (CPU) with memory, input/output, and da ...

validation,

formal verification In the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of a system with respect to a certain formal specification or property, using formal methods of mathematics. Formal ver ...

, and

machine learning Machine learning (ML) is a field of study in artificial intelligence concerned with the development and study of Computational statistics, statistical algorithms that can learn from data and generalise to unseen data, and thus perform Task ( ...

Biography

Born and raised in

India India, officially the Republic of India, is a country in South Asia. It is the List of countries and dependencies by area, seventh-largest country by area; the List of countries by population (United Nations), most populous country since ...

, Mishra received his Ph.D. in

computer science Computer science is the study of computation, information, and automation. Computer science spans Theoretical computer science, theoretical disciplines (such as algorithms, theory of computation, and information theory) to Applied science, ...

from the

University of California at Irvine The University of California, Irvine (UCI or UC Irvine) is a public land-grant research university in Irvine, California, United States. One of the ten campuses of the University of California system, UCI offers 87 undergraduate degrees and 129 ...

in 2004. He received a B.E. in computer science from the

Jadavpur University Jadavpur University ( abbr. JU) is a public state funded research university with its main campus located at Jadavpur, Kolkata, West Bengal, India. It was established on 25 July in 1906 as ''Bengal Technical Institute'' and was converted into ...

, India in 1994, and M.Tech. in computer science from the

Indian Institute of Technology, Kharagpur The Indian Institute of Technology Kharagpur (IIT Kharagpur or IIT-KGP) is a Public university, public institute of technology, research university, and autonomous institute established by the Government of India in Kharagpur, West Bengal. Foun ...

, India in 1995. In 2004, he joined

University of Florida The University of Florida (Florida or UF) is a public university, public land-grant university, land-grant research university in Gainesville, Florida, United States. It is a senior member of the State University System of Florida and a preem ...

as an assistant professor. In 2010, he was promoted to an associate professor and by 2016 he became a professor at the same institution. 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 The Institute of Electrical and Electronics Engineers (IEEE) is an American 501(c)(3) organization, 501(c)(3) public charity professional organization for electrical engineering, electronics engineering, and other related disciplines. The IEEE ...

Transactions on VLSI Systems and

ACM ACM or A.C.M. may refer to: Aviation * AGM-129 ACM, 1990–2012 USAF cruise missile * Air chief marshal * Air combat manoeuvring or dogfighting * Air cycle machine * IATA airport code for Arica Airport in Amazonas Department, Colombia Computing ...

Transactions on Embedded Computing Systems. In 2015, he was selected as an

Distinguished Scientist. He was named a Fellow of the

Institute of Electrical and Electronics Engineers The Institute of Electrical and Electronics Engineers (IEEE) is an American 501(c)(3) public charity professional organization for electrical engineering, electronics engineering, and other related disciplines. The IEEE has a corporate office ...

in 2021 for contributions to system-on-chip validation and design automation of embedded systems. He was elected a Fellow of the

American Association for the Advancement of Science The American Association for the Advancement of Science (AAAS) is a United States–based international nonprofit with the stated mission of promoting cooperation among scientists, defending scientific freedom, encouraging scientific responsib ...

in 2023 .

Awards

* AAAS Fellow,

, 2023. *

Fellow,

, 2021. * UF Research Foundation Professor,

, 2020. *

IET __NOTOC__ IET can refer to: Organizations * Institute of Educational Technology, part of the Open University * Institution of Engineering and Technology, a UK-based professional engineering institution ** Institute of Engineers and Technicians, wh ...

Outstanding Editor Award,

Institution of Engineering and Technology The Institution of Engineering and Technology (IET) is a multidisciplinary professional engineering institution. The IET was formed in 2006 from two separate institutions: the Institution of Electrical Engineers (IEE), dating back to 1871,Engin ...

, 2019. * ISQED Best Paper Award, International Symposium on Quality Electronic Design, 2016. *

Distinguished Scientist,

Association for Computing Machinery The Association for Computing Machinery (ACM) is a US-based international learned society for computing. It was founded in 1947 and is the world's largest scientific and educational computing society. The ACM is a non-profit professional membe ...

, 2015. *

IBM International Business Machines Corporation (using the trademark IBM), nicknamed Big Blue, is an American Multinational corporation, multinational technology company headquartered in Armonk, New York, and present in over 175 countries. It is ...

Faculty Award, 2015. * VLSI Design Best Paper Award, International Conference on VLSI Design, 2011. *

NSF NSF may stand for: Political organizations *National Socialist Front, a Swedish National Socialist party *NS-Frauenschaft, the women's wing of the former German Nazi party * National Students Federation, a leftist Pakistani students' political g ...

CAREER Award,

US National Science Foundation The U.S. National Science Foundation (NSF) is an independent agency of the United States federal government that supports fundamental research and education in all the non-medical fields of science and engineering. Its medical counterpart is t ...

, 2008. * EDAA Outstanding Dissertation Award, European Design Automation Association, 2004. * CODES+ISSS Best Paper Award, International Conference on Codesign & System Synthesis, 2003.

Books

* Explainable AI for Cybersecurity, Springer, 2023. * Network-on-Chip Security and Privacy, Springer, 2021. *System-on-Chip Security Validation and Verification, Springer, 2019. * Post-Silicon Validation and Debug, Springer, 2018. * Hardware IP Security and Trust, Springer, 2017. * System-Level Validation, Springer, 2012. * Dynamic Reconfiguration in Real-Time Systems, Springer, 2012. * Processor Description Languages - Applications and Methodologies, Morgan Kaufmann, 2008. * Functional Verification of Programmable Embedded Architectures, Springer, 2005.

References

External links

Prabhat Mishra home page

Prabhat Mishra
publications indexed by

Google Scholar Google Scholar is a freely accessible web search engine that indexes the full text or metadata of Academic publishing, scholarly literature across an array of publishing formats and disciplines. Released in Beta release, beta in November 2004, th ...

{{DEFAULTSORT:Mishra, Prabhat American computer scientists Living people Computer hardware researchers Fellows of the IEEE University of Florida faculty IIT Kharagpur alumni Indian emigrants to the United States Jadavpur University alumni Indian computer scientists Computer science writers Year of birth missing (living people) People from Midnapore American people of Bengali descent American people of Indian descent