Prabhat Mishra

Last updated
Prabhat Mishra
Prab Mishra.jpg
Born
Midnapore, India
NationalityAmerican
Alma materUniv. of California, Irvine
Known forValidation and Verification
AwardsIEEE Fellow, AAAS Fellow
Scientific career
FieldsComputer Science
InstitutionsUniversity of Florida
Doctoral advisor Nikil Dutt
Websitewww.cise.ufl.edu/~prabhat

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] Prof. Mishra's research interests are in hardware security, quantum computing, embedded systems, system-on-chip validation, formal verification, and machine learning.

Contents

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. [2] 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. [3] 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. [4] [5] He was elected a Fellow of the American Association for the Advancement of Science in 2023 . [6] [7]

Awards

Books

Related Research Articles

<span class="mw-page-title-main">Lynn Conway</span> American computer scientist and electrical engineer (born 1938)

Lynn Ann Conway is an American computer scientist, electrical engineer and transgender activist.

Giovanni De Micheli is a research scientist in electronics and computer science. He is credited for the invention of the Network on a Chip design automation paradigm and for the creation of algorithms and design tools for Electronic Design Automation (EDA). He is Professor and Director of the Integrated Systems laboratory at École Polytechnique Fédérale de Lausanne (EPFL), Switzerland. Previously, he was Professor of Electrical Engineering at Stanford University. He was Director of the Electrical Engineering Institute at EPFL from 2008 to 2019 and program leader of the Swiss Federal Nano-Tera.ch program. He holds a Nuclear Engineer degree, a M.S. and a Ph.D. degree in Electrical Engineering and Computer Science under Alberto Sangiovanni-Vincentelli.

<span class="mw-page-title-main">Randal Bryant</span> American computer scientist (born 1952)

Randal E. Bryant is an American computer scientist and academic noted for his research on formally verifying digital hardware and software. Bryant has been a faculty member at Carnegie Mellon University since 1984. He served as the Dean of the School of Computer Science (SCS) at Carnegie Mellon from 2004 to 2014. Dr. Bryant retired and became a Founders University Professor Emeritus on June 30, 2020.

<span class="mw-page-title-main">Gernot Heiser</span> Australian computer scientist

Gernot Heiser is a Scientia Professor and the John Lions Chair for operating systems at UNSW Sydney, where he leads the Trustworthy Systems group (TS).

Krishna V. Palem is a computer scientist and engineer of Indian origin and is the Kenneth and Audrey Kennedy Professor of Computing at Rice University and the director of Institute for Sustainable Nanoelectronics (ISNE) at Nanyang Technological University (NTU). He is recognized for his "pioneering contributions to the algorithmic, compilation, and architectural foundations of embedded computing", as stated in the citation of his 2009 Wallace McDowell Award, the "highest technical award made solely by the IEEE Computer Society".

Dexter Campbell Kozen is an American theoretical computer scientist. He is Joseph Newton Pew, Jr. Professor in Engineering at Cornell University.

Sung-Mo "Steve" Kang is an American electrical engineering scientist, professor, writer, inventor, entrepreneur and 15th president of KAIST. Kang was appointed as the second chancellor of the University of California, Merced in 2007. He was the first department head of foreign origin at the electrical and computer engineering department at the University of Illinois at Urbana-Champaign and Dean of the Baskin School of Engineering at UC Santa Cruz. Kang teaches and has written extensively in the field of computer-aided design for electronic circuits and systems; he is recognized and respected worldwide for his outstanding research contributions. Kang has led the development of the world’s first 32-bit microprocessor chips as a technical supervisor at AT&T Bell Laboratories and designed satellite-based private communication networks as a member of technical staff. Kang holds 15 U.S. patents and has won numerous awards for his ground breaking achievements in the field of electrical engineering.

Nikil Dutt is a Chancellor's Professor of Computer Science at University of California, Irvine, United States. Professor Dutt's research interests are in embedded systems, electronic design automation, computer architecture, optimizing compilers, system specification techniques, distributed systems, and formal methods.

Fred Barry Schneider is an American computer scientist, based at Cornell University, where he is the Samuel B. Eckert Professor of Computer Science. He has published in numerous areas including science policy, cybersecurity, and distributed systems. His research is in the area of concurrent and distributed systems for high-integrity and mission-critical applications.

Mary Jane Irwin is an Emerita Evan Pugh Professor in the Department of Computer Science and Engineering at Pennsylvania State University. She has been on the faculty at Penn State since 1977. She is an international expert in computer architecture. Her research and teaching interests include computer architecture, embedded and mobile computing systems design, power and reliability aware design, and emerging technologies in computing systems.

<span class="mw-page-title-main">Massoud Pedram</span> Iranian American computer engineer

Massoud Pedram is an Iranian American computer engineer noted for his research in green computing, energy storage systems, low-power electronics and design, electronic design automation and quantum computing. In the early 1990s, Pedram pioneered an approach to designing VLSI circuits that considered physical effects during logic synthesis. He named this approach layout-driven logic synthesis, which was subsequently called physical synthesis and incorporated into the standard EDA design flows. Pedram's early work on this subject became a significant prior art reference in a litigation between Synopsys Inc. and Magma Design Automation.

<span class="mw-page-title-main">Saraju Mohanty</span> Indian-American computer scientist

Saraju Mohanty is an Indian-American professor of the Department of Computer Science and Engineering, and the director of the Smart Electronic Systems Laboratory, at the University of North Texas in Denton, Texas. Mohanty received a Glorious India Award – Rich and Famous NRIs of America in 2017 for his contributions to the discipline. Mohanty is a researcher in the areas of "smart electronics for smart cities/villages", "smart healthcare", "application-Specific things for efficient edge computing", and "methodologies for digital and mixed-signal hardware". He has made significant research contributions to security by design (SbD) for electronic systems, hardware-assisted security (HAS) and protection, high-level synthesis of digital signal processing (DSP) hardware, and mixed-signal integrated circuit computer-aided design and electronic design automation. Mohanty has been the editor-in-chief (EiC) of the IEEE Consumer Electronics Magazine during 2016-2021. He has held the Chair of the IEEE Computer Society's Technical Committee on Very Large Scale Integration during 2014-2018. He holds 4 US patents in the areas of his research, and has published 500 research articles and 5 books. He is ranked among top 2% faculty around the world in Computer Science and Engineering discipline as per the standardized citation metric adopted by the Public Library of Science Biology journal.

Hardware backdoors are backdoors in hardware, such as code inside hardware or firmware of computer chips. The backdoors may be directly implemented as hardware Trojans in the integrated circuit.

<span class="mw-page-title-main">Nader Bagherzadeh</span>

Nader Bagherzadeh is a professor of computer engineering in the Department of Electrical Engineering and Computer Science at the University of California, Irvine, where he served as a chair from 1998 to 2003. Bagherzadeh has been involved in research and development in the areas of: Computer Architecture, Reconfigurable Computing, VLSI Chip Design, Network-on-Chip, 3D chips, Sensor Networks, Computer Graphics, Memory and Embedded Systems. Bagherzadeh was named Fellow of the Institute of Electrical and Electronics Engineers (IEEE) in 2014 for contributions to the design and analysis of coarse-grained reconfigurable processor architectures. Bagherzadeh has published more than 400 articles in peer-reviewed journals and conferences. He was with AT&T Bell Labs from 1980 to 1984.

David Lansing Dill is a computer scientist and academic noted for contributions to formal verification, electronic voting security, and computational systems biology.

<span class="mw-page-title-main">Mark Tehranipoor</span>

Mark M. Tehranipoor is an Iranian American academic researcher specializing in hardware security and trust, electronics supply chain security, IoT security, and reliable and testable VLSI design. He is the Intel Charles E. Young Preeminence Endowed Professor in Cybersecurity at the University of Florida and serves as the Director of the Florida Institute for Cybersecurity Research. Since June 2022, he has served as the chair of the Department of Electrical and Computer Engineering at the University of Florida. He is a fellow of IEEE, ACM, and NAI as well as a Golden Core member of the IEEE. He is a co-founder of the International Symposium on Hardware Oriented Security and Trust (HOST). He is the recipient of the 2023 SRC Aristotle award. Tehranipoor also serves as a co-director of the Air Force Office of Scientific Research CYAN and MEST Centers of Excellence.

Vijaykrishnan Narayanan is the A. Robert Noll Chair of Computer Science and Engineering at Pennsylvania State University. He has been on the faculty at Penn State since 1998. He is an international expert in computer architecture. His research and teaching interests include computer architecture, embedded and mobile computing systems design, power and reliability aware design, and emerging technologies in computing systems.

Luca P. Carloni is a professor and chair of the Department of Computer Science at Columbia University in the City of New York.. He has been on the faculty at Columbia since 2004. He is an international expert on electronic computer-aided design.

Sharad Malik is an Indian-American computer scientist working in formal methods, electronic design automation, and computer architecture. He is currently the George Van Ness Lothrop Professor of Engineering in the Electrical and Computer Engineering Department at Princeton University.

Houbing Herbert Song (FIEEE) is the Director of the Security and Optimization for Networked Globe Laboratory at the University of Maryland, Baltimore County in Baltimore, USA. He received a Ph.D. degree in Electrical Engineering from the University of Virginia in 2012.

References

  1. 1 2 "2020 – UFRF Professors" . Retrieved 2021-01-09.
  2. ↑ "Prabhat Mishra, Professor, University of Florida". www.cise.ufl.edu. Retrieved 2020-04-05.
  3. 1 2 "ACM's Distinguished Members Cited for Advances in Computing that Will Yield Real World Impact". www.acm.org. Retrieved 2020-04-05.
  4. 1 2 "IEEE Fellows Directory". www.ieee.org. Retrieved 2021-01-09.
  5. 1 2 "Meet Your 2021 IEEE Computer Society Fellows | IEEE Computer Society". 10 December 2020. Retrieved 2021-01-09.
  6. 1 2 "AAAS Honorary Fellows". www.aaas.org. Retrieved 2023-01-31.
  7. 1 2 "2022 AAAS Fellows". www.aaas.org. Retrieved 2023-01-31.
  8. ↑ "IET Journal Outstanding Editor Awards - The IET". www.theiet.org. Retrieved 2021-01-09.
  9. ↑ "ISQED Best Papers". www.isqed.org. Retrieved 2021-01-09.
  10. ↑ "IBM Faculty Awards". www.research.ibm.com. 2018-10-01. Retrieved 2021-01-09.
  11. ↑ "VLSI Design 2011 Best Paper Awards".
  12. ↑ "NSF Award Search: Award#0746261 - CAREER: New Directions in Functional Verification of Heterogeneous Multicore Architectures". www.nsf.gov. Retrieved 2021-01-09.
  13. ↑ "European Design and Automation Association". www.edaa.com. Retrieved 2021-01-09.
  14. ↑ "Awards". Embedded Systems Week. Retrieved 2021-01-09.
  15. ↑ Mishra, Prabhat; Charles, Subodha, eds. (2021). Network-on-Chip Security and Privacy. Springer International Publishing. ISBN   978-3-030-69130-1.
  16. ↑ Farahmandi, Farimah; Huang, Yuanwen; Mishra, Prabhat (2020). System-on-Chip Security: Validation and Verification. Springer International Publishing. ISBN   978-3-030-30595-6.
  17. ↑ Mishra, Prabhat; Farahmandi, Farimah, eds. (2019). Post-Silicon Validation and Debug. Springer International Publishing. ISBN   978-3-319-98115-4.
  18. ↑ Mishra, Prabhat; Bhunia, Swarup; Tehranipoor, Mark M., eds. (2017). Hardware IP Security and Trust. Springer International Publishing. ISBN   978-3-319-49024-3.
  19. ↑ 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.
  20. ↑ 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.
  21. ↑ "Processor Description Languages, Volume 1 - 1st Edition". www.elsevier.com. Retrieved 2021-01-09.
  22. ↑ Mishra, Prabhat; Dutt, Nikil D. (2005). Functional Verification of Programmable Embedded Architectures: A Top-Down Approach. Springer US. ISBN   978-0-387-26143-0.
This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.