Loading article…
プラバート・ミシュラ | |
|---|---|
 | |
| 生まれる | インド、ミドナポール |
| 国籍 | アメリカ人 |
| 母校 | カリフォルニア大学アーバイン校 |
| 知られている | 検証と検証 |
| 受賞歴 | IEEEフェロー、AAASフェロー |
| 科学者としてのキャリア | |
| フィールド | コンピュータサイエンス |
| 機関 | フロリダ大学 |
| 博士課程の指導教員 | ニキル・ダット |
| Webサイト | www.cise.ufl.edu/~prabhat |
プラバト・ミシュラはフロリダ大学のコンピュータ・情報科学工学部の教授です。[1]ミシュラ教授の研究分野は、ハードウェアセキュリティ、量子コンピューティング、組み込みシステム、システムオンチップ検証、形式検証、機械学習です。
バイオグラフィー
インドで生まれ育ったミシュラは、2004年にカリフォルニア大学アーバイン校でコンピュータサイエンスの博士号を取得しました。 1994年にインドのジャダブプル大学 でコンピュータサイエンスの学士号、1995年にインドのカラグプルにあるインド工科大学でコンピュータサイエンスの修士号を取得しました。 2004年にフロリダ大学に助教授として着任しました。2010年に准教授に昇進し、2016年には同大学の教授になりました。[1]現在は家族とともにフロリダ州ゲインズビルに住んでいます。
学術生活
彼の研究は、いくつかの国際会議で最優秀論文賞や最優秀論文賞ノミネートに選ばれています。ミシュラ博士は現在、IEEE Transactions on VLSI SystemsおよびACM Transactions on Embedded Computing Systemsの副編集長を務めています。2015年には、 ACM Distinguished Scientistに選ばれました。 [2]組み込みシステムのシステムオンチップ検証と設計自動化への貢献により、2021年に電気電子技術者協会 のフェローに任命されました。 [3] [4] 2023年にはアメリカ科学振興協会 のフェローに選出されました。[5] [6]
受賞歴
- AAASフェロー、アメリカ科学振興協会、2023年。[5] [6]
- IEEEフェロー、電気電子学会、2021年。[3] [4]
- フロリダ大学UF研究財団教授、2020年。[7]
- IET優秀編集者賞、工学技術協会、2019年。[8]
- ISQED最優秀論文賞、国際品質電子設計シンポジウム、2016年。[9]
- ACM優秀科学者、ACM協会、2015年。[2]
- IBM Faculty Award、2015年。[10]
- VLSI設計最優秀論文賞、国際VLSI設計会議、2011年。[11]
- NSFキャリア賞、米国国立科学財団、2008年。[12]
- EDAA優秀論文賞、欧州設計自動化協会、2004年。[13]
- CODES+ISSS最優秀論文賞、国際コデザイン＆システム合成会議、2003年。[14]
書籍
- サイバーセキュリティのための説明可能なAI、Springer、2023年。[15]
- ネットワークオンチップのセキュリティとプライバシー、Springer、2021年。[16]
- システムオンチップのセキュリティ検証と検証、Springer、2019年。[17]
- ポストシリコン検証とデバッグ、Springer、2018年。[18]
- ハードウェアIPセキュリティと信頼、Springer、2017年。[19]
- システムレベル検証、Springer、2012年。[20]
- リアルタイムシステムにおける動的再構成、Springer、2012年。[21]
- プロセッサ記述言語 - アプリケーションと方法論、Morgan Kaufmann、2008年。[22]
- プログラマブル組み込みアーキテクチャの機能検証、Springer、2005年。[23]
参考文献
- ^ ab "プラバート・ミシュラ、フロリダ大学教授". www.cise.ufl.edu 。2020年4月5日に取得。
- ^ ab 「ACM の著名なメンバーが、実世界に影響を与えるコンピューティングの進歩に対して表彰される」www.acm.org 。2020年 4 月 5 日閲覧。
- ^ ab 「IEEE Fellows Directory」。IEEE 。2021年1月9日閲覧。
- ^ ab “Meet Your 2021 IEEE Computer Society Fellows | IEEE Computer Society”. 2020年12月10日. 2021年1月9日閲覧。
- ^ ab 「AAAS名誉フェロー」。www.aaas.org 。 2023年1月31日閲覧。
- ^ ab “2022 AAAS Fellows”. www.aaas.org . 2023年1月31日閲覧。
- ^ 「2020 – UFRF教授陣」。2021年1月9日閲覧。
- ^ 「IETジャーナル優秀編集者賞 - The IET」www.theiet.org . 2021年1月9日閲覧。
- ^ 「ISQED Best Papers」www.isqed.org . 2021年1月9日閲覧。
- ^ 「IBM Faculty Awards」www.research.ibm.com 2018年10月1日2021年1月9日閲覧。
- ^ 「VLSI Design 2011 最優秀論文賞」.
- ^ 「NSF Award Search: Award#0746261 - CAREER: 異機種マルチコアアーキテクチャの機能検証における新たな方向性」www.nsf.gov 。 2021年1月9日閲覧。
- ^ 「欧州デザイン・オートメーション協会」www.edaa.com . 2021年1月9日閲覧。
- ^ 「Awards」。Embedded Systems Week 。 2021年1月9日閲覧。
- ^ Pan, Zhixin; Mishra, Prabhat (2023). サイバーセキュリティのための説明可能なAI。Springer。ISBN 978-3-031-46478-2。
- ^ Mishra, Prabhat; Charles, Subodha 編 (2021)。ネットワークオンチップのセキュリティとプライバシー。Springer International Publishing。ISBN 978-3-030-69130-1。
- ^ Farahmandi, Farimah; Huang, Yuanwen; Mishra, Prabhat (2020). システムオンチップセキュリティ：検証と検証。Springer International Publishing。ISBN 978-3-030-30595-6。
- ^ Mishra, Prabhat; Farahmandi, Farimah 編 (2019)。ポストシリコン検証とデバッグ。Springer International Publishing。ISBN 978-3-319-98115-4。
- ^ Mishra, Prabhat; Bhunia, Swarup; Tehranipoor, Mark M. 編 (2017)。ハードウェア IP セキュリティと信頼。Springer International Publishing。ISBN 978-3-319-49024-3。
- ^ Chen, Mingsong; Qin, Xiaoke; Koo, Heon-Mo; Mishra, Prabhat (2013). システムレベル検証: 高レベルモデリングと直接テスト生成テクニック。ニューヨーク: Springer-Verlag. ISBN 978-1-4614-1358-5。
- ^ Wang, Weixun; Mishra, Prabhat; Ranka, Sanjay (2013). リアルタイムシステムにおける動的再構成: エネルギー、パフォーマンス、熱の観点。Embedded Systems。ニューヨーク: Springer- Verlag。ISBN 978-1-4614-0277-0。
- ^ ミシュラ、プラバート;ダット、ニキル (2008 年 5 月 29 日)。プロセッサ記述言語、第 1 巻 - 第 1 版。 사이텍미디어。ISBN 978-0-12-374287-2. 2021年1月9日閲覧。
{{cite book}}:|website=無視されました (ヘルプ) - ^ Mishra, Prabhat; Dutt, Nikil D. (2005). プログラマブル組み込みアーキテクチャの機能検証: トップダウンアプローチ。Springer US. ISBN 978-0-387-26143-0。
外部リンク
- プラバート・ミシュラのホームページ
- Google Scholarにインデックスされた Prabhat Mishra の出版物