stringtranslate.com

Prabhat Mishra

Prabhat Mishra es profesor en el Departamento de Ciencias de la Computación y la Información e Ingeniería de la Universidad de Florida. [1] Los intereses de investigación del profesor Mishra son la seguridad del hardware , la computación cuántica , los sistemas integrados , la validación de sistemas en chip , la verificación formal y el aprendizaje automático .

Biografía

Nacido y criado en la India , Mishra recibió su doctorado en Ciencias de la Computación de la Universidad de California en Irvine en 2004. Recibió una licenciatura en Ciencias de la Computación de la Universidad de Jadavpur , India en 1994, y una maestría en Ciencias de la Computación del Instituto Indio de Tecnología, Kharagpur , India en 1995. En 2004, se unió a la Universidad de Florida como profesor asistente. En 2010, fue ascendido a profesor asociado y en 2016 se convirtió en profesor en la misma institución. [1] Actualmente vive en Gainesville, Florida con su familia.

Vida académica

Su investigación ha sido reconocida con premios al mejor artículo y nominaciones al premio al mejor artículo en varias conferencias internacionales. El Dr. Mishra actualmente se desempeña como editor asociado de las Transacciones IEEE sobre sistemas VLSI y Transacciones ACM sobre sistemas informáticos integrados. En 2015, fue seleccionado como científico distinguido de la ACM . [2] Fue nombrado miembro del Instituto de Ingenieros Eléctricos y Electrónicos en 2021 por sus contribuciones a la validación de sistemas en chip y la automatización del diseño de sistemas integrados. [3] [4] Fue elegido miembro de la Asociación Estadounidense para el Avance de la Ciencia en 2023. [5] [6]

Premios

Libros

Referencias

  1. ^ ab "Prabhat Mishra, profesor, Universidad de Florida". www.cise.ufl.edu . Consultado el 5 de abril de 2020 .
  2. ^ ab "Miembros distinguidos de la ACM citados por avances en informática que tendrán un impacto en el mundo real". www.acm.org . Consultado el 5 de abril de 2020 .
  3. ^ ab "Directorio de becarios del IEEE". IEEE . Consultado el 9 de enero de 2021 .
  4. ^ ab "Conoce a los becarios de la IEEE Computer Society 2021 | IEEE Computer Society". 10 de diciembre de 2020. Consultado el 9 de enero de 2021 .
  5. ^ ab "Miembros honorarios de la AAAS". www.aaas.org . Consultado el 31 de enero de 2023 .
  6. ^ ab "2022 AAAS Fellows" (Becarios AAAS 2022). www.aaas.org . Consultado el 31 de enero de 2023 .
  7. ^ "2020 – Profesores de la UFRF" . Consultado el 9 de enero de 2021 .
  8. ^ "Premios al editor destacado de la revista IET - The IET". www.theiet.org . Consultado el 9 de enero de 2021 .
  9. ^ "Los mejores artículos de ISQED". www.isqed.org . Consultado el 9 de enero de 2021 .
  10. ^ "Premios de la facultad de IBM". www.research.ibm.com . 2018-10-01 . Consultado el 2021-01-09 .
  11. ^ "Premios al mejor artículo de VLSI Design 2011".
  12. ^ "Búsqueda de premios de la NSF: Premio n.º 0746261 - CARRERA: Nuevas direcciones en la verificación funcional de arquitecturas multinúcleo heterogéneas". www.nsf.gov . Consultado el 9 de enero de 2021 .
  13. ^ "Asociación Europea de Diseño y Automatización". www.edaa.com . Consultado el 9 de enero de 2021 .
  14. ^ "Premios". Semana de los sistemas integrados . Consultado el 9 de enero de 2021 .
  15. ^ Pan, Zhixin; Mishra, Prabhat (2023). Inteligencia artificial explicable para la ciberseguridad. Springer. ISBN 978-3-031-46478-2.
  16. ^ Mishra, Prabhat; Charles, Subodha, eds. (2021). Seguridad y privacidad de la red en chip. Springer International Publishing. ISBN 978-3-030-69130-1.
  17. ^ Farahmandi, Farimah; Huang, Yuanwen; Mishra, Prabhat (2020). Seguridad del sistema en chip: validación y verificación. Springer International Publishing. ISBN 978-3-030-30595-6.
  18. ^ Mishra, Prabhat; Farahmandi, Farimah, eds. (2019). Validación y depuración post-silicio. Springer International Publishing. ISBN 978-3-319-98115-4.
  19. ^ Mishra, Prabhat; Bhunia, Swarup; Tehranipoor, Mark M., eds. (2017). Seguridad y confianza de IP de hardware. Springer International Publishing. ISBN 978-3-319-49024-3.
  20. ^ Chen, Mingsong; Qin, Xiaoke; Koo, Heon-Mo; Mishra, Prabhat (2013). Validación a nivel de sistema: técnicas de generación de pruebas dirigidas y modelado de alto nivel. Nueva York: Springer-Verlag. ISBN 978-1-4614-1358-5.
  21. ^ Wang, Weixun; Mishra, Prabhat; Ranka, Sanjay (2013). Reconfiguración dinámica en sistemas en tiempo real: perspectivas energéticas, de rendimiento y térmicas. Embedded Systems. Nueva York: Springer-Verlag. ISBN 978-1-4614-0277-0.
  22. ^ Mishra, Prabhat; Dutt, Nikil (29 de mayo de 2008). Lenguajes de descripción de procesadores, volumen 1 - 1.ª edición. 사이텍미디어. ISBN 978-0-12-374287-2. Recuperado el 9 de enero de 2021 . {{cite book}}: |website=ignorado ( ayuda )
  23. ^ Mishra, Prabhat; Dutt, Nikil D. (2005). Verificación funcional de arquitecturas integradas programables: un enfoque descendente. Springer US. ISBN 978-0-387-26143-0.

Enlaces externos