Прабхат Мишра

Прабхат Мишра
Прабхат Мишра
Рожденный	Миднапур, Индия
Национальность	Американский
Альма-матер	унив. Калифорния, Ирвин
Известный	Валидация и проверка
Награды	Сотрудник IEEE, член AAAS
	Научная карьера
Поля	Информатика
Учреждения	Университет Флориды
Докторантура	Никель Датт
Веб-сайт	www.cise.ufl.edu/~prabhat

Прабхат Мишра — профессор кафедры компьютерных, информационных наук и инженерии Университета Флориды. ^{[ 1 ]} Научные интересы профессора Мишры лежат в области аппаратной безопасности , квантовых вычислений , встроенных систем , систем на кристалле проверки , формальной проверки и машинного обучения .

Биография

Мишра родился и вырос в Индии и получил докторскую степень. компьютерных наук Джадавпура Индия , Он получил степень бакалавра в Университете , в 1994 году, а также степень магистра технических наук. в Получил степень бакалавра компьютерных наук Индийском технологическом институте, Харагпур , Индия, в 1995 году. В 2004 году он поступил на работу в Университет Флориды в качестве доцента. В 2010 году ему было присвоено звание доцента, а к 2016 году он стал профессором того же учреждения. ^{[ 1 ]} В настоящее время он живет со своей семьей в Гейнсвилле, Флорида.

Академическая жизнь

Его исследования были отмечены наградами Best Paper Awards и Best Paper Award на нескольких международных конференциях. Доктор Мишра в настоящее время является заместителем редактора журналов IEEE Transactions on VLSI Systems и ACM Transactions on Embedded Computing Systems. В 2015 году он был удостоен звания заслуженного учёного ACM . ^{[ 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 , Ассоциация вычислительной техники , 2015 г. ^{[ 2 ]}
Премия факультета IBM , 2015 г. ^{[ 10 ]}
Премия за лучший доклад по проектированию СБИС, Международная конференция по проектированию СБИС, 2011 г. ^{[ 11 ]}
Премия NSF CAREER, Национальный научный фонд США , 2008 г. ^{[ 12 ]}
Премия EDAA за выдающуюся диссертацию, Европейская ассоциация автоматизации проектирования, 2004 г. ^{[ 13 ]}
Премия CODES+ISSS за лучшую статью, Международная конференция по кодированию и синтезу систем, 2003 г. ^{[ 14 ]}

Книги

Объяснимый искусственный интеллект для кибербезопасности, Springer, 2023 г. ^{[ 15 ]}
Безопасность и конфиденциальность сети на кристалле, Springer, 2021 г. ^{[ 16 ]}
Проверка и проверка безопасности системы на кристалле, Springer, 2019. ^{[ 17 ]}
Пост-кремниевая проверка и отладка, Springer, 2018. ^{[ 18 ]}
Аппаратная IP-безопасность и доверие, Springer, 2017 г. ^{[ 19 ]}
Валидация на уровне системы, Springer, 2012. ^{[ 20 ]}
Динамическая реконфигурация в системах реального времени, Springer, 2012. ^{[ 21 ]}
Языки описания процессоров — приложения и методологии, Морган Кауфманн, 2008 г. ^{[ 22 ]}
Функциональная верификация программируемых встраиваемых архитектур, Springer, 2005. ^{[ 23 ]}

Ссылки

^ Jump up to: ^а ^б «Прабхат Мишра, профессор Университета Флориды» . www.cision.ufl.edu . Проверено 5 апреля 2020 г.
^ Jump up to: ^а ^б «Уважаемые члены ACM отмечены за достижения в области вычислений, которые окажут влияние на реальный мир» . www.acm.org . Проверено 5 апреля 2020 г.
^ Jump up to: ^а ^б «Справочник участников IEEE» . ИИЭЭ . Проверено 9 января 2021 г.
^ Jump up to: ^а ^б «Познакомьтесь со своими стипендиатами компьютерного общества IEEE 2021 года | Компьютерное общество IEEE» . 10 декабря 2020 г. Проверено 9 января 2021 г.
^ Jump up to: ^а ^б «Почетные члены AAAS» . www.aaas.org . Проверено 31 января 2023 г.
^ Jump up to: ^а ^б «Стипендиаты AAAS 2022» . www.aaas.org . Проверено 31 января 2023 г.
^ «2020 – Профессора УФРФ» . Проверено 9 января 2021 г.
^ «Награды выдающемуся редактору журнала IET — IET» . www.theiet.org . Проверено 9 января 2021 г.
^ «Лучшие статьи ISQED» . www.isqed.org . Проверено 9 января 2021 г.
^ «Награды факультета IBM» . www.research.ibm.com . 01.10.2018 . Проверено 9 января 2021 г.
^ «Награда за лучшую бумагу VLSI Design 2011» .
^ «Поиск награды NSF: Премия № 0746261 — КАРЬЕРА: Новые направления функциональной верификации гетерогенных многоядерных архитектур» . www.nsf.gov . Проверено 9 января 2021 г.
^ «Европейская ассоциация дизайна и автоматизации» . www.edaa.com . Проверено 9 января 2021 г.
^ «Награды» . Неделя встраиваемых систем . Проверено 9 января 2021 г.
^ Пан, Чжисинь; Мишра, Прабхат (2023). Объяснимый искусственный интеллект для кибербезопасности . Спрингер. ISBN 978-3-031-46478-2 .
^ Мишра, Прабхат; Чарльз, Субодха, ред. (2021). Безопасность и конфиденциальность сети на кристалле . Международное издательство Спрингер. ISBN 978-3-030-69130-1 .
^ Фарахманди, Фарима; Хуан, Юаньвэнь; Мишра, Прабхат (2020). Безопасность системы на кристалле: проверка и проверка . Международное издательство Спрингер. ISBN 978-3-030-30595-6 .
^ Мишра, Прабхат; Фарахманди, Фарима, ред. (2019). Пост-кремниевая проверка и отладка . Международное издательство Спрингер. ISBN 978-3-319-98115-4 .
^ Мишра, Прабхат; Бхуния, Сваруп; Техранипур, Марк М., ред. (2017). Аппаратная IP-безопасность и доверие . Международное издательство Спрингер. ISBN 978-3-319-49024-3 .
^ Чен, Минсонг; Цинь, Сяоке; Ку, Хон-Мо; Мишра, Прабхат (2013). Валидация на уровне системы: высокоуровневое моделирование и методы создания направленных тестов . Нью-Йорк: Springer-Verlag. ISBN 978-1-4614-1358-5 .
^ Ван, Вэйсюнь; Мишра, Прабхат; Ранка, Санджай (2013). Динамическая реконфигурация в системах реального времени: энергетические, эксплуатационные и тепловые перспективы . Встроенные системы. Нью-Йорк: Springer-Verlag. ISBN 978-1-4614-0277-0 .
^ «Языки описания процессоров, том 1 — 1-е издание» . www.elsevier.com . Проверено 9 января 2021 г.
^ Мишра, Прабхат; Датт, Никил Д. (2005). Функциональная верификация программируемых встраиваемых архитектур: нисходящий подход . Спрингер США. ISBN 978-0-387-26143-0 .

Внешние ссылки

Домашняя страница Прабхата Мишры
Публикации Прабхата Мишры , проиндексированные Google Scholar

[:4-1] Jump up to: ^а ^б «Прабхат Мишра, профессор Университета Флориды» . www.cision.ufl.edu . Проверено 5 апреля 2020 г.

[:1-2] Jump up to: ^а ^б «Уважаемые члены ACM отмечены за достижения в области вычислений, которые окажут влияние на реальный мир» . www.acm.org . Проверено 5 апреля 2020 г.

[:2-3] Jump up to: ^а ^б «Справочник участников IEEE» . ИИЭЭ . Проверено 9 января 2021 г.

[:3-4] Jump up to: ^а ^б «Познакомьтесь со своими стипендиатами компьютерного общества IEEE 2021 года | Компьютерное общество IEEE» . 10 декабря 2020 г. Проверено 9 января 2021 г.

[:5-5] Jump up to: ^а ^б «Почетные члены AAAS» . www.aaas.org . Проверено 31 января 2023 г.

[:6-6] Jump up to: ^а ^б «Стипендиаты AAAS 2022» . www.aaas.org . Проверено 31 января 2023 г.

[:0-7] «2020 – Профессора УФРФ» . Проверено 9 января 2021 г.

[8] «Награды выдающемуся редактору журнала IET — IET» . www.theiet.org . Проверено 9 января 2021 г.

[9] «Лучшие статьи ISQED» . www.isqed.org . Проверено 9 января 2021 г.

[10] «Награды факультета IBM» . www.research.ibm.com . 01.10.2018 . Проверено 9 января 2021 г.

[11] «Награда за лучшую бумагу VLSI Design 2011» .

[12] «Поиск награды NSF: Премия № 0746261 — КАРЬЕРА: Новые направления функциональной верификации гетерогенных многоядерных архитектур» . www.nsf.gov . Проверено 9 января 2021 г.

[13] «Европейская ассоциация дизайна и автоматизации» . www.edaa.com . Проверено 9 января 2021 г.

[14] «Награды» . Неделя встраиваемых систем . Проверено 9 января 2021 г.

[15] Пан, Чжисинь; Мишра, Прабхат (2023). Объяснимый искусственный интеллект для кибербезопасности . Спрингер. ISBN 978-3-031-46478-2 .

[16] Мишра, Прабхат; Чарльз, Субодха, ред. (2021). Безопасность и конфиденциальность сети на кристалле . Международное издательство Спрингер. ISBN 978-3-030-69130-1 .

[17] Фарахманди, Фарима; Хуан, Юаньвэнь; Мишра, Прабхат (2020). Безопасность системы на кристалле: проверка и проверка . Международное издательство Спрингер. ISBN 978-3-030-30595-6 .

[18] Мишра, Прабхат; Фарахманди, Фарима, ред. (2019). Пост-кремниевая проверка и отладка . Международное издательство Спрингер. ISBN 978-3-319-98115-4 .

[19] Мишра, Прабхат; Бхуния, Сваруп; Техранипур, Марк М., ред. (2017). Аппаратная IP-безопасность и доверие . Международное издательство Спрингер. ISBN 978-3-319-49024-3 .

[20] Чен, Минсонг; Цинь, Сяоке; Ку, Хон-Мо; Мишра, Прабхат (2013). Валидация на уровне системы: высокоуровневое моделирование и методы создания направленных тестов . Нью-Йорк: Springer-Verlag. ISBN 978-1-4614-1358-5 .

[21] Ван, Вэйсюнь; Мишра, Прабхат; Ранка, Санджай (2013). Динамическая реконфигурация в системах реального времени: энергетические, эксплуатационные и тепловые перспективы . Встроенные системы. Нью-Йорк: Springer-Verlag. ISBN 978-1-4614-0277-0 .

[22] «Языки описания процессоров, том 1 — 1-е издание» . www.elsevier.com . Проверено 9 января 2021 г.

[23] Мишра, Прабхат; Датт, Никил Д. (2005). Функциональная верификация программируемых встраиваемых архитектур: нисходящий подход . Спрингер США. ISBN 978-0-387-26143-0 .

[ 1 ]

[ 2 ]

[ 3 ]

[ 4 ]

[ 5 ]

[ 6 ]

[ 7 ]

[ 8 ]

[ 9 ]

[ 10 ]

[ 11 ]

[ 12 ]

[ 13 ]

[ 14 ]

[ 15 ]

[ 16 ]

[ 17 ]

[ 18 ]

[ 19 ]

[ 20 ]

[ 21 ]

[ 22 ]

[ 23 ]

Базы данных авторитетного контроля
Международный	ВИАФ WorldCat
Национальный	Германия Соединенные Штаты Чешская Республика
академики	ОРЦИД Ассоциация вычислительной техники Скопус Google Академика ДБЛП MathSciNet
Другой	ИдРеф