Jayadev Misra
Jayadev Misra | |
|---|---|
 | |
| Född |
17 oktober 1947 Indien
|
| Medborgarskap | USA |
| Alma mater | |
| Känd för | Bidrag i formella aspekter av distribuerad och concurrent computing, i synnerhet projekten Unity och Orc . |
| Hemsida | "Jayadev Misra" . |
Jayadev Misra är en indiskfödd datavetare som har tillbringat större delen av sin yrkeskarriär i USA. Han är Schlumberger Centennial Chair emeritus i datavetenskap och en University Distinguished Teaching Professor Emeritus vid University of Texas i Austin . Professionellt är han känd för sina bidrag till de formella aspekterna av samtidig programmering och för att tillsammans med Sir Tony Hoare leda projektet om Verified Software Initiative (VSI).
Utbildning och tidig karriär
Misra fick en B.Tech. i elektroteknik från IIT Kanpur , Indien 1969 och en Ph.D. i elektroteknik och datavetenskap från Johns Hopkins University , Baltimore, Maryland 1972. Efter en kort period som arbetat för IBM började han på University of Texas i Austin 1974 där han har stannat under hela sin karriär, förutom ett sabbatsår. vid Stanford University under 1983–1984. Han gick i pension från aktiv undervisning 2015.
Stora professionella insatser
Misra och K. Mani Chandy har gjort ett antal viktiga bidrag inom området för samtidig datoranvändning. De utvecklade en programmeringsnotation och en logik, kallad UNITY , för att beskriva samtidiga beräkningar. Leslie Lamport säger: "Det första stora steget för att komma bortom traditionella programmeringsspråk för att beskriva samtidiga algoritmer var Misra och Chandys enhet" och "Misra och Chandy utvecklade bevisregler för att formalisera den stil av resonemang som hade utvecklats för att bevisa invarians och leder till egenskaper. Unity gav den mest eleganta formuleringen hittills för dessa bevis."
Misra och Chandy (och, oberoende av varandra, Randy Bryant ) har utvecklat en konservativ algoritm för distribuerad simulering av diskreta händelser, som nu ofta används inom en mängd olika områden. De utvecklade också ett antal grundläggande algoritmer för resursallokering (dricksfilosofernas problem), detektering av dödläge, grafalgoritmer och en teori om kunskapsöverföring i distribuerade system. I samarbete med David Gries föreslog Misra den första algoritmen för heavy-hitters-problemet . Misra föreslog en uppsättning axiom för samtidig minnesåtkomst som ligger till grund för teorin om linjärisering.
Misras senaste forskningsprojekt, kallat Orc , försöker utveckla en algebra för samtidig beräkning som kommer att hjälpa till att integrera olika programvaror för samtidig exekvering.
Pris och ära
- Medlem, National Academy of Engineering , 2018. "NAE Website - Dr. Jayadev Misra" .
- Harry H. Goode Memorial Award , IEEE, 2017.
- Doctor Honoris Causa, École normale supérieure Paris-Saclay , Cachan, Frankrike, 2010.
- Guggenheim Fellowship , 1988.
- Identifierad som en "högt citerad forskare"" av Thomson Reuters ISI, 2004.
- ACM Fellow, 1995. "Recipients" .
- IEEE Fellow, 1992.
- Distinguished alumn, IIT Kanpur , Indien , "Past DAA Awardees" .
- Medlem, TAMEST (The Academy of Medicine, Engineering and Science of Texas), 2018.
Utvalda publikationer
- Effective Theories in Programming Practice , ACM Books, 2023
- Parallell Program Design - a Foundation (med KM Chandy), 1988
- Distribuerad simulering av diskreta händelser, 1986
- Bevis på nätverk av processer (med KM Chandy), 1981
- Distribuerad dödlägesdetektion (med KM Chandy och Laura M. Haas), 1983
- Drinking philosophers problem (med KM Chandy), 1984
- Hitta upprepade element (med D. Gries), 1982
- Hur processer lär sig (med KM Chandy), 1985
- The Orc Programming Language (med D. Kitchin, A. Quark och W. Cook), 2009
- Axiom för minnesåtkomst i asynkrona hårdvarusystem, 1986
- Powerlist: En struktur för parallell rekursion, 1994
- Verifierad programvara: teorier, verktyg, experiment Vision om ett stort utmaningsprojekt (med Tony Hoare ), 2008