Jayadev Misra
Jayadev Misra | |
|---|---|
 | |
| Urodzić się |
17 października 1947 Indie
|
| Obywatelstwo | NAS |
| Alma Mater | |
| Znany z | Wkład w formalne aspekty przetwarzania rozproszonego i współbieżnego, w szczególności projekty Unity i Orc . |
| Strona internetowa | „Jayadev Misra” . |
Jayadev Misra to urodzony w Indiach informatyk, który większość swojej kariery zawodowej spędził w Stanach Zjednoczonych. Jest emerytowanym przewodniczącym Schlumberger Centennial w dziedzinie informatyki oraz emerytowanym profesorem uniwersyteckim wyróżniającym się nauczaniem na University of Texas w Austin . Zawodowo jest znany ze swojego wkładu w formalne aspekty programowania współbieżnego oraz z kierowania wspólnie z Sir Tonym Hoare'em projektem Verified Software Initiative (VSI).
Edukacja i wczesna kariera
Misra otrzymał B.Tech. w elektrotechnice z IIT Kanpur , Indie w 1969 roku i Ph.D. w elektrotechnice i informatyce na Uniwersytecie Johnsa Hopkinsa w Baltimore, Maryland w 1972 r. Po krótkim okresie pracy dla IBM, w 1974 r. dołączył do University of Texas w Austin , gdzie pozostał przez całą swoją karierę, z wyjątkiem roku naukowego spędzonego na Uniwersytecie Stanforda w latach 1983–1984. Odszedł z czynnego nauczania w 2015 roku.
Główny wkład zawodowy
Misra i K. Mani Chandy wnieśli szereg ważnych wkładów w dziedzinie obliczeń współbieżnych. Opracowali notację programistyczną i logikę o nazwie UNITY , aby opisać współbieżne obliczenia. Leslie Lamport mówi: „Pierwszym ważnym krokiem na drodze do wyjścia poza tradycyjne języki programowania w celu opisania współbieżnych algorytmów był Misra i Chandy's Unity” oraz „Misra i Chandy opracowali reguły dowodzenia, aby sformalizować styl rozumowania, który został opracowany w celu udowodnienia niezmienności i prowadzi do właściwości. Unity dostarczyło najbardziej eleganckiego sformułowania tych dowodów”.
Misra i Chandy (i niezależnie Randy Bryant ) opracowali konserwatywny algorytm symulacji rozproszonych zdarzeń dyskretnych, który jest obecnie powszechnie stosowany w różnych obszarach. Opracowali również szereg fundamentalnych algorytmów alokacji zasobów (problem filozofów picia), wykrywania zakleszczeń, algorytmów grafowych oraz teorii transmisji wiedzy w systemach rozproszonych. We współpracy z Davidem Griesem Misra zaproponował pierwszy algorytm problemu ciężkich uderzeń . Misra zaproponował zestaw aksjomatów dotyczących współbieżnego dostępu do pamięci, który leży u podstaw teorii linearyzowalności.
Najnowszy projekt badawczy Misry, nazwany Orc , ma na celu opracowanie algebry obliczeń współbieżnych, która pomoże zintegrować różne części oprogramowania do równoczesnego wykonywania.
Nagrody i wyróżnienia
- Członek National Academy of Engineering , 2018. „Strona internetowa NAE - dr Jayadev Misra” .
- Nagroda pamięci Harry'ego H. Goode'a , IEEE, 2017.
- Doktor Honoris Causa, École normale supérieure Paris-Saclay , Cachan, Francja, 2010.
- Stypendium Guggenheima , 1988.
- Zidentyfikowany jako „wysoce cytowany naukowiec” przez Thomson Reuters ISI, 2004.
- Stypendysta ACM , 1995. „Odbiorcy” .
- IEEE , 1992.
- Wybitny absolwent, IIT Kanpur , Indie , „Przeszli DAA Awardees” .
- Członek, TAMEST (Akademia Medycyny, Inżynierii i Nauki Teksasu), 2018.
Wybrane publikacje
- Skuteczne teorie w praktyce programowania , ACM Books, 2023
- Projekt programu równoległego - fundacja (z KM Chandy), 1988
- Rozproszona symulacja zdarzeń dyskretnych, 1986
- Dowody sieci procesów (z KM Chandy), 1981
- Rozproszone wykrywanie zakleszczenia (z KM Chandy i Laurą M. Haas), 1983
- Problem filozofów picia (z KM Chandy), 1984
- Znajdowanie powtarzających się elementów (z D. Griesem), 1982
- Jak uczą się procesy (z KM Chandy), 1985
- The Orc Programming Language (z D. Kitchinem, A. Quarkiem i W. Cookiem), 2009
- Aksjomaty dostępu do pamięci w asynchronicznych systemach sprzętowych, 1986
- Powerlist: Struktura rekurencji równoległej, 1994
- Verified Software: Theories, Tools, Experiments Vision of a Grand Challenge Project (z Tonym Hoare'em ), 2008