275:) have developed a conservative algorithm for distributed discrete-event simulation, which is now commonly used in a variety of areas. They also developed a number of fundamental algorithms for resource allocation (the drinking philosophers problem), deadlock detection, graph algorithms, and a theory of knowledge transmission in distributed systems. In collaboration with
31:
267:
says: "The first major step in getting beyond traditional programming languages to describe concurrent algorithms was Misra and Chandy's Unity" and "Misra and Chandy developed proof rules to formalize the style of reasoning that had been developed for proving invariance and leads-to properties. Unity
202:
is an Indian-born computer scientist who has spent most of his professional career in the United States. He is the
Schlumberger Centennial Chair Emeritus in computer science and a University Distinguished Teaching Professor Emeritus at the
981:. PODC 85: Proceedings of the fourth annual ACM Symposium on Principles of Distributed Computing. Minaki, Ontario, Canada: Association for Computing Machinery. pp. 204–214.
685:
358:
637:
340:
580:
1185:
1160:
1190:
1000:
Kitchin, David; Quark, Adrian; Cook, William; Misra, Jayadev (2009). "The Orc
Programming Language". In David Lee; AntĂłnia Lopes; Arnd Poetzsch-Heffter (eds.).
609:
480:. A Decade of Concurrency Reflections and Perspectives. Lecture Notes in Computer Science (LNCS). Vol. 803. Springer, Berlin, Heidelberg. p. 352.
319:
1175:
280:
1120:; Misra, Jayadev (2008). "Verified Software: Theories, Tools, Experiments Vision of a Grand Challenge Project". In B. Meyer, J. Woodcock (ed.).
633:
1165:
726:
259:
have made a number of important contributions in the area of concurrent computing. They developed a programming notation and a logic, called
207:. Professionally he is known for his contributions to the formal aspects of concurrent programming and for jointly spearheading, with Sir
290:, attempts to develop an algebra of concurrent computing that will help integrate different pieces of software for concurrent execution.
1170:
613:
334:
513:
546:
306:
588:
312:
240:
204:
190:
123:
260:
453:
1195:
287:
92:
236:
78:
283:. Misra proposed a set of axioms for concurrent memory access that underlie the theory of linearizability.
91:
Contributions in formal aspects of distributed and concurrent computing, in particular, projects Unity and
1155:
224:
220:
681:
325:
458:(Technical report) (ACM Transactions on Programming Languages and Systems 16 ed.). Microsoft. 79.
1180:
244:
1099:
1055:
900:
852:
804:
762:
566:
581:"Two UTCS Faculty Among the Most Highly Cited Researchers | Department of Computer Science"
1122:
Verified
Software: Theories, Tools, Experiments. VSTTE 2005. Lecture Notes in Computer Science
722:
1129:
1089:
1045:
1009:
982:
948:
938:
890:
842:
796:
754:
481:
151:
110:
243:
in 1974 where he has remained throughout his career, except for a sabbatical year spent at
1125:
1005:
430:
Verified
Software: Theories, Tools, Experiments Vision of a Grand Challenge Project (with
968:
870:
822:
784:
710:
521:
469:
415:
401:
394:
387:
264:
256:
1149:
1004:. Formal Techniques for Distributed Systems, Joint 11th IFIP WG 6.1. Vol. 5522.
943:
926:
808:
766:
1103:
1059:
904:
856:
272:
239:, Baltimore, Maryland in 1972. After a brief period working for IBM, he joined the
156:
1134:
1014:
918:
408:
276:
1117:
682:"Members - TAMEST (The Academy of Medicine, Engineering and Science of Texas)"
661:
542:
431:
347:
228:
208:
72:
485:
139:
976:
800:
584:
478:
Distributed
Systems, Methods and Tools for Specification. An Advanced Course
186:
421:
The Orc
Programming Language (with D. Kitchin, A. Quark, and W. Cook), 2009
1094:
1077:
986:
847:
830:
171:
30:
331:
Identified as a "highly cited researcher" by
Thomson Reuters ISI, 2004.
1050:
1033:
895:
878:
758:
657:
953:
133:
361:(The Academy of Medicine, Engineering and Science of Texas), 2018.
351:
232:
517:
499:
299:
424:
Axioms for memory access in asynchronous hardware systems, 1986
689:
268:
provided the most elegant formulation yet for these proofs."
1034:"Axioms for memory access in asynchronous hardware systems"
247:
during 1983–1984. He retired from active teaching in 2015.
473:
235:
in electrical engineering and computer science from the
745:(March 1986). "Distributed discrete-event simulation".
474:"Verification and specification of concurrent programs"
1082:
1038:
883:
211:, the project on Verified Software Initiative (VSI).
427:
Powerlist: A structure for parallel recursion, 1994
179:
166:
150:
132:
116:
106:
87:
64:
56:
37:
21:
787:(July 1981). "Proofs of networks of processes".
634:"IEEE Fellows Directory - Chronological Listing"
1078:"Powerlist: A structure for parallel recursion"
286:Misra's most recent research project, called
279:, Misra proposed the first algorithm for the
8:
140:A Study of Strategies for Multistage Testing
658:"Past Distinguished Alumnus Awardees (DAA)"
383:Distributed discrete-event simulation, 1986
372:Effective Theories in Programming Practice
18:
1133:
1093:
1049:
1013:
952:
942:
894:
846:
789:IEEE Transactions on Software Engineering
567:"Docteur Honoris Causa ENS-PARIS-SACLAY"
400:The drinking philosophers problem (with
444:
263:, to describe concurrent computations.
16:American computer scientist (born 1947)
719:Parallel Program Design - a Foundation
386:Proofs of networks of processes (with
378:Parallel Program Design - a Foundation
271:Misra and Chandy (and, independently,
1186:Indian emigrants to the United States
1161:University of Texas at Austin faculty
393:Distributed deadlock detection (with
320:École normale supérieure Paris-Saclay
7:
1191:American academics of Indian descent
835:ACM Transactions on Computer Systems
879:"The drinking philosophers problem"
14:
1002:Lecture Notes in Computer Science
543:"NAE Website - Dr. Jayadev Misra"
520:. 26 October 2023. Archived from
831:"Distributed deadlock detection"
407:Finding repeated elements (with
251:Major professional contributions
29:
1176:Johns Hopkins University alumni
931:Science of Computer Programming
583:. Computer Science Department,
307:National Academy of Engineering
1:
829:; Haas, LAURA M. (May 1983).
455:The Temporal Logic of Actions
313:Harry H. Goode Memorial Award
241:University of Texas at Austin
205:University of Texas at Austin
191:Mathematics Genealogy Project
1166:American computer scientists
944:10.1016/0167-6423(82)90012-0
514:"IFIP Announces 2023 Awards"
452:Lamport, Leslie (May 1994).
1135:10.1007/978-3-540-69149-5_1
1015:10.1007/978-3-642-02138-1_1
927:"Finding repeated elements"
1212:
1171:Indian computer scientists
414:How processes learn (with
215:Education and early career
184:
162:
99:
28:
486:10.1007/3-540-58043-3_23
397:and Laura M. Haas), 1983
380:(with K.M. Chandy), 1988
237:Johns Hopkins University
801:10.1109/TSE.1981.230844
346:Distinguished alumnus,
322:, Cachan, France, 2010.
318:Doctor Honoris Causa,
231:, India in 1969 and a
225:electrical engineering
1095:10.1145/197320.197356
987:10.1145/323596.323615
848:10.1145/357360.357365
747:ACM Computing Surveys
366:Selected publications
326:Guggenheim Fellowship
281:heavy-hitters problem
1008:. pp. 204–214.
978:How processes learn
245:Stanford University
1124:. Vol. 4171.
721:. Addison-Wesley.
1196:IIT Kanpur alumni
1076:(November 1994).
1051:10.1145/5001.5007
925:(November 1982).
896:10.1145/1780.1804
759:10.1145/6462.6485
728:978-0-201-05866-6
374:, ACM Books, 2023
294:Awards and honors
219:Misra received a
197:
196:
101:Scientific career
1203:
1140:
1139:
1137:
1114:
1108:
1107:
1097:
1088:(6): 1737–1767.
1070:
1064:
1063:
1053:
1032:(January 1986).
1026:
1020:
1019:
1017:
997:
991:
990:
965:
959:
958:
956:
946:
915:
909:
908:
898:
877:(October 1984).
867:
861:
860:
850:
819:
813:
812:
777:
771:
770:
739:
733:
732:
707:
701:
700:
698:
697:
688:. Archived from
678:
672:
671:
669:
668:
654:
648:
647:
645:
644:
630:
624:
623:
621:
620:
606:
600:
599:
597:
596:
587:. Archived from
577:
571:
570:
563:
557:
556:
554:
553:
539:
533:
532:
530:
529:
510:
504:
503:
496:
490:
489:
466:
460:
459:
449:
175:
152:Doctoral advisor
146:
111:Computer science
48:October 17, 1947
47:
45:
33:
19:
1211:
1210:
1206:
1205:
1204:
1202:
1201:
1200:
1146:
1145:
1144:
1143:
1126:Springer Verlag
1116:
1115:
1111:
1072:
1071:
1067:
1028:
1027:
1023:
1006:Springer Verlag
999:
998:
994:
975:(August 1985).
969:Chandy, K. Mani
967:
966:
962:
917:
916:
912:
871:Chandy, K. Mani
869:
868:
864:
823:Chandy, K. Mani
821:
820:
816:
785:Chandy, K. Mani
779:
778:
774:
741:
740:
736:
729:
711:Chandy, K. Mani
709:
708:
704:
695:
693:
680:
679:
675:
666:
664:
656:
655:
651:
642:
640:
632:
631:
627:
618:
616:
608:
607:
603:
594:
592:
579:
578:
574:
565:
564:
560:
551:
549:
541:
540:
536:
527:
525:
512:
511:
507:
498:
497:
493:
470:Lamport, Leslie
468:
467:
463:
451:
450:
446:
441:
368:
296:
253:
217:
193:
172:"Jayadev Misra"
170:
144:
128:
83:
71:B.Tech. (1969)
65:Alma mater
52:
49:
43:
41:
24:
17:
12:
11:
5:
1209:
1207:
1199:
1198:
1193:
1188:
1183:
1178:
1173:
1168:
1163:
1158:
1148:
1147:
1142:
1141:
1109:
1074:Misra, Jayadev
1065:
1044:(1): 142–153.
1030:Misra, Jayadev
1021:
992:
973:Misra, Jayadev
960:
937:(2): 143–152.
923:Misra, Jayadev
910:
889:(4): 632–646.
875:Misra, Jayadev
862:
841:(2): 144–156.
827:Misra, Jayadev
814:
795:(4): 417–426.
781:Misra, Jayadev
772:
743:Misra, Jayadev
734:
727:
715:Misra, Jayadev
702:
673:
649:
625:
601:
572:
558:
534:
505:
500:"Orc Language"
491:
461:
443:
442:
440:
437:
436:
435:
428:
425:
422:
419:
412:
405:
398:
391:
384:
381:
375:
367:
364:
363:
362:
355:
344:
338:
332:
329:
323:
316:
310:
303:
302:Fellow, 2023.
295:
292:
265:Leslie Lamport
257:K. Mani Chandy
252:
249:
216:
213:
195:
194:
185:
182:
181:
177:
176:
168:
164:
163:
160:
159:
154:
148:
147:
136:
130:
129:
127:
126:
120:
118:
114:
113:
108:
104:
103:
97:
96:
89:
88:Known for
85:
84:
82:
81:
75:
68:
66:
62:
61:
58:
54:
53:
50:
39:
35:
34:
26:
25:
22:
15:
13:
10:
9:
6:
4:
3:
2:
1208:
1197:
1194:
1192:
1189:
1187:
1184:
1182:
1179:
1177:
1174:
1172:
1169:
1167:
1164:
1162:
1159:
1157:
1156:Living people
1154:
1153:
1151:
1136:
1131:
1127:
1123:
1119:
1113:
1110:
1105:
1101:
1096:
1091:
1087:
1083:
1079:
1075:
1069:
1066:
1061:
1057:
1052:
1047:
1043:
1039:
1035:
1031:
1025:
1022:
1016:
1011:
1007:
1003:
996:
993:
988:
984:
980:
979:
974:
970:
964:
961:
955:
950:
945:
940:
936:
932:
928:
924:
920:
914:
911:
906:
902:
897:
892:
888:
884:
880:
876:
872:
866:
863:
858:
854:
849:
844:
840:
836:
832:
828:
824:
818:
815:
810:
806:
802:
798:
794:
790:
786:
782:
776:
773:
768:
764:
760:
756:
752:
748:
744:
738:
735:
730:
724:
720:
716:
712:
706:
703:
692:on 2023-10-18
691:
687:
683:
677:
674:
663:
659:
653:
650:
639:
635:
629:
626:
615:
611:
610:"ACM Fellows"
605:
602:
591:on 2015-12-25
590:
586:
582:
576:
573:
568:
562:
559:
548:
544:
538:
535:
524:on 2023-11-03
523:
519:
515:
509:
506:
501:
495:
492:
487:
483:
479:
475:
471:
465:
462:
457:
456:
448:
445:
438:
433:
429:
426:
423:
420:
417:
413:
410:
406:
403:
399:
396:
392:
389:
385:
382:
379:
376:
373:
370:
369:
365:
360:
356:
353:
349:
345:
343:Fellow, 1992.
342:
339:
337:Fellow, 1995.
336:
333:
330:
327:
324:
321:
317:
315:, IEEE, 2017.
314:
311:
308:
304:
301:
298:
297:
293:
291:
289:
284:
282:
278:
274:
269:
266:
262:
258:
250:
248:
246:
242:
238:
234:
230:
226:
222:
214:
212:
210:
206:
201:
200:Jayadev Misra
192:
188:
187:Jayadev Misra
183:
178:
173:
169:
165:
161:
158:
155:
153:
149:
142:
141:
137:
135:
131:
125:
122:
121:
119:
115:
112:
109:
105:
102:
98:
94:
90:
86:
80:
79:Johns Hopkins
77:Ph.D. (1972)
76:
74:
70:
69:
67:
63:
59:
55:
40:
36:
32:
27:
23:Jayadev Misra
20:
1121:
1112:
1085:
1081:
1073:
1068:
1041:
1037:
1029:
1024:
1001:
995:
977:
972:
963:
934:
930:
922:
919:Gries, David
913:
886:
882:
874:
865:
838:
834:
826:
817:
792:
788:
780:
775:
753:(1): 39–65.
750:
746:
742:
737:
718:
714:
705:
694:. Retrieved
690:the original
676:
665:. Retrieved
652:
641:. Retrieved
628:
617:. Retrieved
604:
593:. Retrieved
589:the original
575:
561:
550:. Retrieved
537:
526:. Retrieved
522:the original
508:
494:
477:
464:
454:
447:
377:
371:
285:
273:Randy Bryant
270:
254:
218:
199:
198:
157:Harlan Mills
138:
117:Institutions
100:
1181:1947 births
1118:Hoare, Tony
416:Mani Chandy
409:David Gries
402:Mani Chandy
395:Mani Chandy
388:Mani Chandy
277:David Gries
57:Citizenship
1150:Categories
696:2023-11-03
667:2023-11-03
662:IIT Kanpur
643:2023-11-03
619:2023-11-03
595:2023-11-03
552:2023-11-03
528:2023-11-03
439:References
432:Tony Hoare
348:IIT Kanpur
255:Misra and
229:IIT Kanpur
209:Tony Hoare
73:IIT Kanpur
44:1947-10-17
954:1813/6345
585:UT Austin
124:UT Austin
809:15624919
767:18130323
717:(1988).
472:(1994).
357:Member,
309:, 2018.
305:Member,
1104:2913474
1060:1326311
905:5922362
857:9147318
434:), 2008
418:), 1985
411:), 1982
404:), 1984
390:), 1981
328:, 1988.
221:B.Tech.
189:at the
167:Website
1102:
1058:
903:
855:
807:
765:
725:
686:TAMEST
359:TAMEST
145:(1972)
143:
134:Thesis
107:Fields
1100:S2CID
1056:S2CID
901:S2CID
853:S2CID
805:S2CID
763:S2CID
352:India
261:UNITY
233:Ph.D.
227:from
180:Notes
51:India
793:SE-7
723:ISBN
638:IEEE
518:IFIP
341:IEEE
300:IFIP
38:Born
1130:doi
1090:doi
1046:doi
1010:doi
983:doi
949:hdl
939:doi
891:doi
843:doi
797:doi
755:doi
614:ACM
547:NAE
482:doi
335:ACM
288:Orc
223:in
93:Orc
1152::
1128:.
1098:.
1086:16
1084:.
1080:.
1054:.
1040:.
1036:.
971:;
947:.
933:.
929:.
921:;
899:.
885:.
881:.
873:;
851:.
837:.
833:.
825:;
803:.
791:.
783:;
761:.
751:18
749:.
713:;
684:.
660:.
636:.
612:.
545:.
516:.
476:.
354:,
350:,
60:US
1138:.
1132::
1106:.
1092::
1062:.
1048::
1042:8
1018:.
1012::
989:.
985::
957:.
951::
941::
935:2
907:.
893::
887:6
859:.
845::
839:1
811:.
799::
769:.
757::
731:.
699:.
670:.
646:.
622:.
598:.
569:.
555:.
531:.
502:.
488:.
484::
174:.
95:.
46:)
42:(
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.
