Джаядев Мишра

Джаядев Мишра
Джаядев Мишра
Рожденный	17 октября 1947 г. ; Индия
Гражданство	НАС
Альма-матер	Бакалавр технических наук. (1969) ИИТ Канпур ; доктор философии (1972) Джонс Хопкинс ;
Известный	Вклад в формальные аспекты распределенных и параллельных вычислений, в частности, проекты Unity и Orc .
	Научная карьера
Поля	Информатика
Учреждения	Юта Остин ;
Диссертация	Исследование стратегий многоэтапного тестирования (1972)
Докторантура	Харлан Миллс
Веб-сайт	«Джаядев Мишра» .
Примечания
	Джаядев Мишра в проекте «Математическая генеалогия»

Джаядев Мишра — учёный-компьютерщик индийского происхождения, большую часть своей профессиональной карьеры проведший в Соединённых Штатах. Он является почетным профессором кафедры столетних юбилеев компании Schlumberger в области компьютерных наук и почетным профессором преподавания Техасского университета в Остине . В профессиональном плане он известен своим вкладом в формальные аспекты параллельного программирования и тем, что вместе с сэром Тони Хоаром возглавлял проект Verified Software Initiative (VSI).

Образование и ранняя карьера

Мисра получил степень бакалавра технических наук. получил степень доктора электротехники в ИИТ Канпур , Индия, в 1969 году и степень доктора философии. Получил степень бакалавра электротехники и информатики в Университете Джона Хопкинса , Балтимор, Мэриленд, в 1972 году. После непродолжительного периода работы в IBM он поступил в Техасский университет в Остине в 1974 году, где оставался на протяжении всей своей карьеры, за исключением годичного творческого отпуска, проведенного в Стэнфордском университете в 1983–1984 гг. В 2015 году он ушел из активной преподавательской деятельности.

Основной профессиональный вклад

Мисра и К. Мани Чанди внесли ряд важных вкладов в область параллельных вычислений. Они разработалинотация программирования и логика, называемая UNITY , для описания параллельных вычислений. Лесли Лэмпорт говорит: «Первым важным шагом в выходе за рамки традиционных языков программирования для описания параллельных алгоритмов стала Unity Мисры и Чанди». ^[1] и«Мисра и Чанди разработали правила доказательства, чтобы формализовать стиль рассуждений, который был разработан для доказательства инвариантности и свойств, ведущих к. Unity предоставила самую элегантную формулировку для этих доказательств». ^[2]

Мисра и Чанди (и независимо Рэнди Брайант ) разработали консервативный алгоритм для распределенного моделирования дискретных событий, который сейчас широко используется в различных областях. Они также разработали ряд фундаментальных алгоритмов распределения ресурсов (проблема пьющих философов), обнаружения тупиковых ситуаций, графовых алгоритмов и теории передачи знаний в распределенных системах. В сотрудничестве с Дэвидом Грайсом Мисра предложил первый алгоритм решения проблемы сильных нападающих . Мисра предложил набор аксиом для одновременного доступа к памяти, которые лежат в основе теории линеаризуемости.

Последний исследовательский проект Мисры под названием «Орк » ^[3] пытается разработать алгебру параллельных вычислений, которая поможет интегрировать различные части программного обеспечения для одновременного выполнения.

Награды и почести

Член ИФИП , 2023 г. ^[4]
Член Национальной инженерной академии , 2018 г. ^[5]
Премия памяти Гарри Х. Гуда , IEEE, 2017 г.
Почетный доктор, Высшая нормальная школа Париж-Сакле , Кашан, Франция, 2010 г. ^[6]
Стипендия Гуггенхайма , 1988.
Назван «высоко цитируемым исследователем» по версии Thomson Reuters ISI, 2004 г. ^[7]
Сотрудник ACM , 1995 г. ^[8]
Сотрудник IEEE , 1992 г. ^[9]
Почетный выпускник ИИТ Канпура , Индия , ^[10]
Член TAMEST (Академия медицины, техники и науки Техаса), 2018 г. ^[11]

Избранные публикации

«Эффективные теории в практике программирования» , ACM Books, 2023 г.
Разработка параллельных программ - фонд (совместно с К.М. Чанди), 1988 г. ^[12]
Распределенное моделирование дискретных событий, 1986 г. ^[13]
Доказательства сетей процессов (совместно с Мани Чанди ), 1981 г. ^[14]
Распределенное обнаружение тупиковых ситуаций (совместно с Мани Чанди и Лорой М. Хаас), 1983 г. ^[15]
Проблема пьющих философов (совместно с Мани Чанди ), 1984 г. ^[16]
В поисках повторяющихся элементов (совместно с Дэвидом Грайсом ), 1982 г. ^[17]
Как процессы учатся (совместно с Мани Чанди ), 1985 г. ^[18]
Язык программирования орков (совместно с Д. Китчином, А. Кварком и В. Куком), 2009 г. ^[19]
Аксиомы доступа к памяти в асинхронных аппаратных системах, 1986 г. ^[20]
Powerlist: структура для параллельной рекурсии, 1994 г. ^[21]
Проверенное программное обеспечение: теории, инструменты, эксперименты. Видение проекта Grand Challenge (совместно с Тони Хоаром ), 2008 г. ^[22]

Ссылки

^ Лэмпорт, Лесли (май 1994 г.). Временная логика действий (Технический отчет) (ACM-транзакции по языкам и системам программирования, 16-е изд.). Майкрософт. 79.
^ Лэмпорт, Лесли (1994). «Верификация и спецификация параллельных программ» . Распределенные системы, методы и инструменты спецификации. Продвинутый курс . Десятилетие размышлений и перспектив параллелизма. Конспекты лекций по информатике (LNCS). Том. 803. Шпрингер, Берлин, Гейдельберг. п. 352. дои : 10.1007/3-540-58043-3_23 .
^ «Язык орков» .
^ «ИФИП объявляет награды 2023 года» . ИФИП . 26 октября 2023 г. Архивировано из оригинала 03.11.2023 . Проверено 3 ноября 2023 г.
^ «Веб-сайт NAE - доктор Джаядев Мишра» . НАЭ . Проверено 3 ноября 2023 г.
^ «Почетный доктор ENS-PARIS-SACLAY» .
^ «Два преподавателя UTCS среди наиболее цитируемых исследователей | Департамент компьютерных наук» . Факультет компьютерных наук, Юта, Остин . Архивировано из оригинала 25 декабря 2015 г. Проверено 3 ноября 2023 г.
^ «Стипендиаты ACM» . АКМ . Проверено 3 ноября 2023 г.
^ «Справочник участников IEEE — хронологический список» . ИИЭЭ . Проверено 3 ноября 2023 г.
^ «Награды прошлых выдающихся выпускников (DAA)» . ИИТ Канпур . Проверено 3 ноября 2023 г.
^ «Члены — TAMEST (Академия медицины, техники и науки Техаса)» . ПРИрученный . Архивировано из оригинала 18 октября 2023 г. Проверено 3 ноября 2023 г.
^ Чанди, К. Мани ; Мисра, Джаядев (1988). Разработка параллельных программ — основа . Аддисон-Уэсли. ISBN 978-0-201-05866-6 .
^ Мисра, Джаядев (март 1986 г.). «Распределенное дискретно-событийное моделирование». Обзоры вычислительной техники ACM . 18 (1): 39–65. дои : 10.1145/6462.6485 . S2CID 18130323 .
^ Мишра, Джаядев ; Чанди, К. Мани (июль 1981 г.). «Доказательства сетей процессов». Транзакции IEEE по разработке программного обеспечения . СЭ-7 (4): 417–426. дои : 10.1109/TSE.1981.230844 . S2CID 15624919 .
^ Чанди, К. Мани ; Мишра, Джаядев ; Хаас, ЛАУРА М. (май 1983 г.). «Распределенное обнаружение взаимоблокировок» . Транзакции ACM в компьютерных системах . 1 (2): 144–156. дои : 10.1145/357360.357365 . S2CID 9147318 .
^ Чанди, К. Мани ; Мисра, Джаядев (октябрь 1984 г.). «Проблема пьющих философов» . Транзакции ACM в языках и системах программирования . 6 (4): 632–646. дои : 10.1145/1780.1804 . S2CID 5922362 .
^ Грис, Дэвид ; Мисра, Джаядев (ноябрь 1982 г.). «Нахождение повторяющихся элементов» . Наука компьютерного программирования . 2 (2): 143–152. дои : 10.1016/0167-6423(82)90012-0 . hdl : 1813/6345 .
^ Чанди, К. Мани ; Мисра, Джаядев (август 1985 г.). Как процессы учатся . PODC 85: Материалы четвертого ежегодного симпозиума ACM по принципам распределенных вычислений. Минаки, Онтарио, Канада: Ассоциация вычислительной техники. стр. 204–214. дои : 10.1145/323596.323615 .
^ Китчин, Дэвид; Кварк, Адриан; Кук, Уильям; Мисра, Джаядев (2009). «Язык программирования орков». У Дэвида Ли; Антония Лопес; Арнд Петч-Хефтер (ред.). Конспекты лекций по информатике . Формальные методы для распределенных систем, Совместная 11-я рабочая группа ИФИП 6.1. Том. 5522. Спрингер Верлаг . стр. 204–214. дои : 10.1007/978-3-642-02138-1_1 .
^ Мисра, Джаядев (январь 1986 г.). «Аксиомы доступа к памяти в асинхронных аппаратных системах» . Транзакции ACM в языках и системах программирования . 8 (1): 142–153. дои : 10.1145/5001.5007 . S2CID 1326311 .
^ Мисра, Джаядев (ноябрь 1994 г.). «Powerlist: структура для параллельной рекурсии» . Транзакции ACM в языках и системах программирования . 16 (6): 1737–1767. дои : 10.1145/197320.197356 . S2CID 2913474 .
^ Хоар, Тони ; Мисра, Джаядев (2008). «Проверенное программное обеспечение: теории, инструменты, эксперименты. Видение проекта Grand Challenge». В Б. Мейере, Дж. Вудкоке (ред.). Проверенное программное обеспечение: теории, инструменты, эксперименты. VSTTE 2005. Конспекты лекций по информатике . Том. 4171. Спрингер Верлаг . дои : 10.1007/978-3-540-69149-5_1 .

[1] Лэмпорт, Лесли (май 1994 г.). Временная логика действий (Технический отчет) (ACM-транзакции по языкам и системам программирования, 16-е изд.). Майкрософт. 79.

[2] Лэмпорт, Лесли (1994). «Верификация и спецификация параллельных программ» . Распределенные системы, методы и инструменты спецификации. Продвинутый курс . Десятилетие размышлений и перспектив параллелизма. Конспекты лекций по информатике (LNCS). Том. 803. Шпрингер, Берлин, Гейдельберг. п. 352. дои : 10.1007/3-540-58043-3_23 .

[3] «Язык орков» .

[4] «ИФИП объявляет награды 2023 года» . ИФИП . 26 октября 2023 г. Архивировано из оригинала 03.11.2023 . Проверено 3 ноября 2023 г.

[5] «Веб-сайт NAE - доктор Джаядев Мишра» . НАЭ . Проверено 3 ноября 2023 г.

[6] «Почетный доктор ENS-PARIS-SACLAY» .

[7] «Два преподавателя UTCS среди наиболее цитируемых исследователей | Департамент компьютерных наук» . Факультет компьютерных наук, Юта, Остин . Архивировано из оригинала 25 декабря 2015 г. Проверено 3 ноября 2023 г.

[8] «Стипендиаты ACM» . АКМ . Проверено 3 ноября 2023 г.

[9] «Справочник участников IEEE — хронологический список» . ИИЭЭ . Проверено 3 ноября 2023 г.

[10] «Награды прошлых выдающихся выпускников (DAA)» . ИИТ Канпур . Проверено 3 ноября 2023 г.

[11] «Члены — TAMEST (Академия медицины, техники и науки Техаса)» . ПРИрученный . Архивировано из оригинала 18 октября 2023 г. Проверено 3 ноября 2023 г.

[12] Чанди, К. Мани ; Мисра, Джаядев (1988). Разработка параллельных программ — основа . Аддисон-Уэсли. ISBN 978-0-201-05866-6 .

[13] Мисра, Джаядев (март 1986 г.). «Распределенное дискретно-событийное моделирование». Обзоры вычислительной техники ACM . 18 (1): 39–65. дои : 10.1145/6462.6485 . S2CID 18130323 .

[14] Мишра, Джаядев ; Чанди, К. Мани (июль 1981 г.). «Доказательства сетей процессов». Транзакции IEEE по разработке программного обеспечения . СЭ-7 (4): 417–426. дои : 10.1109/TSE.1981.230844 . S2CID 15624919 .

[15] Чанди, К. Мани ; Мишра, Джаядев ; Хаас, ЛАУРА М. (май 1983 г.). «Распределенное обнаружение взаимоблокировок» . Транзакции ACM в компьютерных системах . 1 (2): 144–156. дои : 10.1145/357360.357365 . S2CID 9147318 .

[16] Чанди, К. Мани ; Мисра, Джаядев (октябрь 1984 г.). «Проблема пьющих философов» . Транзакции ACM в языках и системах программирования . 6 (4): 632–646. дои : 10.1145/1780.1804 . S2CID 5922362 .

[17] Грис, Дэвид ; Мисра, Джаядев (ноябрь 1982 г.). «Нахождение повторяющихся элементов» . Наука компьютерного программирования . 2 (2): 143–152. дои : 10.1016/0167-6423(82)90012-0 . hdl : 1813/6345 .

[18] Чанди, К. Мани ; Мисра, Джаядев (август 1985 г.). Как процессы учатся . PODC 85: Материалы четвертого ежегодного симпозиума ACM по принципам распределенных вычислений. Минаки, Онтарио, Канада: Ассоциация вычислительной техники. стр. 204–214. дои : 10.1145/323596.323615 .

[19] Китчин, Дэвид; Кварк, Адриан; Кук, Уильям; Мисра, Джаядев (2009). «Язык программирования орков». У Дэвида Ли; Антония Лопес; Арнд Петч-Хефтер (ред.). Конспекты лекций по информатике . Формальные методы для распределенных систем, Совместная 11-я рабочая группа ИФИП 6.1. Том. 5522. Спрингер Верлаг . стр. 204–214. дои : 10.1007/978-3-642-02138-1_1 .

[20] Мисра, Джаядев (январь 1986 г.). «Аксиомы доступа к памяти в асинхронных аппаратных системах» . Транзакции ACM в языках и системах программирования . 8 (1): 142–153. дои : 10.1145/5001.5007 . S2CID 1326311 .

[21] Мисра, Джаядев (ноябрь 1994 г.). «Powerlist: структура для параллельной рекурсии» . Транзакции ACM в языках и системах программирования . 16 (6): 1737–1767. дои : 10.1145/197320.197356 . S2CID 2913474 .

[22] Хоар, Тони ; Мисра, Джаядев (2008). «Проверенное программное обеспечение: теории, инструменты, эксперименты. Видение проекта Grand Challenge». В Б. Мейере, Дж. Вудкоке (ред.). Проверенное программное обеспечение: теории, инструменты, эксперименты. VSTTE 2005. Конспекты лекций по информатике . Том. 4171. Спрингер Верлаг . дои : 10.1007/978-3-540-69149-5_1 .

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

[20]

[21]

[22]

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