540:
1166:
1198:
479:
474:
567:
217:
277:
511:
1193:
1203:
448:
163:
66:
671:
754:
560:
182:
951:
936:
877:
728:
485:
862:
604:
244:
1218:
1208:
1076:
681:
307:. FOCS '76: Proceedings of the 17th IEEE Symposium on Foundations of Computer Science. Houston, Texas. pp. 98â108.
1169:
910:
804:
759:
553:
171:
154:, United States, where he was a general manager at the Internet Services Research Center. Chandra received his PhD in
1188:
1081:
920:
178:
80:
177:
Chandra co-authored several key papers in theoretical computer science. Among other contributions, he introduced
1139:
1096:
1048:
872:
614:
147:
882:
624:
202:
1144:
986:
956:
769:
1213:
779:
619:
900:
718:
654:
429:. STOC '83: Proceedings of the fifteenth annual ACM symposium on Theory of computing. pp. 94â99.
256:
206:
1228:
1223:
961:
941:
1110:
1033:
996:
905:
839:
281:
159:
515:
373:. STOC '77: Proceedings of the ninth annual ACM symposium on Theory of computing. pp. 77â90.
1053:
971:
834:
639:
576:
351:
332:
143:
139:
111:
946:
844:
634:
599:
210:
194:
76:
1149:
854:
695:
430:
405:
374:
341:
308:
190:
155:
118:
97:
452:
708:
539:
1086:
824:
764:
658:
629:
1182:
1123:
713:
410:
393:
355:
55:
220:
and served as conference chair of the first three conferences, in 1986â8. He was an
829:
186:
107:
794:
723:
221:
198:
123:
1091:
981:
965:
799:
774:
738:
167:
151:
51:
240:
1058:
991:
976:
784:
676:
545:
434:
378:
346:
327:
1118:
915:
819:
789:
703:
691:
666:
312:
814:
371:
Optimal
Implementation of Conjunctive Queries in Relational Data Bases
1006:
867:
809:
733:
644:
170:. He was previously Director of Database and Distributed Systems at
609:
1001:
534:
425:
Chadra, Ashok K.; Furst, Merrick L.; Lipton, Richard J. (1983).
549:
530:
197:
in databases (with Philip M. Merlin), computable queries (with
892:
326:
Chandra, A. K.; Kozen, D. C.; Stockmeyer, L. J. (1981).
1132:
1109:
1069:
1041:
1032:
1021:
929:
891:
853:
747:
690:
653:
592:
583:
117:
103:
93:
72:
62:
40:
25:
18:
480:Institute of Electrical and Electronics Engineers
394:"Computable Queries for Relational Data Bases"
561:
369:Chandra, Ashok K.; Merlin, Philip M. (1977).
8:
218:IEEE Symposium on Logic in Computer Science
1038:
1029:
589:
568:
554:
546:
538:
514:(Press release). Microsoft. Archived from
303:Chandra, A. K.; Stockmeyer, L. J. (1976).
15:
1199:University of California, Berkeley alumni
409:
345:
512:"Ashok Chandra: Distinguished Scientist"
392:Chandra, Ashok K.; Harel, David (1980).
138:(30 July 1948 â 15 November 2014) was a
398:Journal of Computer and System Sciences
278:"Ashok K. Chandra profile at Microsoft"
233:
7:
257:"Dr. Ashok Kumar Chandra Obituary"
164:University of California, Berkeley
14:
672:Confidential Consortium Framework
1165:
1164:
216:He was a founder of the annual
1:
245:Mathematics Genealogy Project
411:10.1016/0022-0000(80)90032-X
805:Neural Network Intelligence
179:alternating Turing machines
172:IBM Almaden Research Center
81:alternating Turing machines
1245:
1194:Stanford University alumni
1204:Microsoft Research people
1162:
129:
86:
577:Microsoft Research (MSR)
203:communication complexity
183:computational complexity
780:Image Composite Editor
755:Automatic Graph Layout
435:10.1145/800061.808737
427:Multi-party protocols
379:10.1145/800105.803397
347:10.1145/322234.322243
930:Launched as products
593:Languages, compilers
537:Bibliography Server
1219:Fellows of the IEEE
1209:Microsoft employees
840:WorldWide Telescope
518:on February 5, 2011
488:on November 2, 2013
313:10.1109/SFCS.1976.4
284:on November 2, 2013
195:conjunctive queries
166:, and a BTech from
160:Stanford University
77:Conjunctive queries
835:T2 Temporal Prover
475:"IEEE Fellows â C"
333:Journal of the ACM
201:), and multiparty
144:Microsoft Research
140:computer scientist
112:Microsoft Research
1189:IIT Kanpur alumni
1176:
1175:
1158:
1157:
1105:
1104:
1017:
1016:
855:Operating systems
845:Z3 Theorem Prover
760:Cognitive Toolkit
455:on March 11, 2012
211:Richard J. Lipton
133:
132:
88:Scientific career
1236:
1168:
1167:
1039:
1030:
590:
570:
563:
556:
547:
542:
531:Ashok K. Chandra
527:
525:
523:
498:
497:
495:
493:
484:. Archived from
471:
465:
464:
462:
460:
451:. Archived from
449:"LICS â Archive"
445:
439:
438:
422:
416:
415:
413:
389:
383:
382:
366:
360:
359:
349:
323:
317:
316:
300:
294:
293:
291:
289:
280:. Archived from
274:
268:
267:
265:
263:
253:
247:
241:Ashok K. Chandra
238:
207:Merrick L. Furst
191:Larry Stockmeyer
156:Computer Science
136:Ashok K. Chandra
119:Doctoral advisor
98:Computer science
47:
44:15 November 2014
35:
33:
20:Ashok K. Chandra
16:
1244:
1243:
1239:
1238:
1237:
1235:
1234:
1233:
1179:
1178:
1177:
1172:
1154:
1140:Academic Search
1128:
1101:
1065:
1025:
1023:
1013:
925:
887:
849:
743:
686:
649:
585:
579:
574:
521:
519:
510:
507:
502:
501:
491:
489:
473:
472:
468:
458:
456:
447:
446:
442:
424:
423:
419:
391:
390:
386:
368:
367:
363:
325:
324:
320:
302:
301:
297:
287:
285:
276:
275:
271:
261:
259:
255:
254:
250:
239:
235:
230:
110:
63:Alma mater
58:
49:
45:
31:
29:
21:
12:
11:
5:
1242:
1240:
1232:
1231:
1226:
1221:
1216:
1211:
1206:
1201:
1196:
1191:
1181:
1180:
1174:
1173:
1163:
1160:
1159:
1156:
1155:
1153:
1152:
1147:
1142:
1136:
1134:
1130:
1129:
1127:
1126:
1121:
1115:
1113:
1107:
1106:
1103:
1102:
1100:
1099:
1094:
1089:
1087:Live Clipboard
1084:
1079:
1073:
1071:
1067:
1066:
1064:
1063:
1062:
1061:
1051:
1045:
1043:
1036:
1027:
1019:
1018:
1015:
1014:
1012:
1011:
1010:
1009:
999:
994:
989:
984:
979:
974:
969:
959:
954:
949:
944:
939:
933:
931:
927:
926:
924:
923:
918:
913:
908:
903:
897:
895:
889:
888:
886:
885:
880:
875:
870:
865:
859:
857:
851:
850:
848:
847:
842:
837:
832:
827:
822:
817:
812:
807:
802:
797:
792:
787:
782:
777:
772:
767:
762:
757:
751:
749:
748:Other projects
745:
744:
742:
741:
736:
731:
726:
721:
716:
711:
706:
700:
698:
688:
687:
685:
684:
679:
674:
669:
663:
661:
659:grid computing
651:
650:
648:
647:
642:
637:
632:
630:Project Verona
627:
622:
617:
612:
607:
602:
596:
594:
587:
581:
580:
575:
573:
572:
565:
558:
550:
544:
543:
528:
506:
505:External links
503:
500:
499:
466:
440:
417:
404:(2): 156â178.
384:
361:
340:(1): 114â133.
318:
295:
269:
248:
232:
231:
229:
226:
131:
130:
127:
126:
121:
115:
114:
105:
101:
100:
95:
91:
90:
84:
83:
74:
73:Known for
70:
69:
64:
60:
59:
50:
48:(aged 66)
42:
38:
37:
27:
23:
22:
19:
13:
10:
9:
6:
4:
3:
2:
1241:
1230:
1227:
1225:
1222:
1220:
1217:
1215:
1214:IBM employees
1212:
1210:
1207:
1205:
1202:
1200:
1197:
1195:
1192:
1190:
1187:
1186:
1184:
1171:
1161:
1151:
1148:
1146:
1145:adCenter Labs
1143:
1141:
1138:
1137:
1135:
1131:
1125:
1122:
1120:
1117:
1116:
1114:
1112:
1108:
1098:
1095:
1093:
1090:
1088:
1085:
1083:
1080:
1078:
1075:
1074:
1072:
1068:
1060:
1057:
1056:
1055:
1052:
1050:
1047:
1046:
1044:
1040:
1037:
1035:
1031:
1028:
1020:
1008:
1005:
1004:
1003:
1000:
998:
995:
993:
990:
988:
985:
983:
980:
978:
975:
973:
970:
967:
963:
960:
958:
955:
953:
950:
948:
945:
943:
940:
938:
935:
934:
932:
928:
922:
919:
917:
914:
912:
909:
907:
904:
902:
899:
898:
896:
894:
890:
884:
881:
879:
876:
874:
871:
869:
866:
864:
861:
860:
858:
856:
852:
846:
843:
841:
838:
836:
833:
831:
828:
826:
823:
821:
818:
816:
813:
811:
808:
806:
803:
801:
798:
796:
793:
791:
788:
786:
783:
781:
778:
776:
773:
771:
770:Holoportation
768:
766:
763:
761:
758:
756:
753:
752:
750:
746:
740:
737:
735:
732:
730:
727:
725:
722:
720:
717:
715:
714:Conference XP
712:
710:
707:
705:
702:
701:
699:
697:
693:
689:
683:
680:
678:
675:
673:
670:
668:
665:
664:
662:
660:
656:
652:
646:
643:
641:
640:Polyphonic C#
638:
636:
633:
631:
628:
626:
623:
621:
618:
616:
613:
611:
608:
606:
603:
601:
598:
597:
595:
591:
588:
582:
578:
571:
566:
564:
559:
557:
552:
551:
548:
541:
536:
532:
529:
517:
513:
509:
508:
504:
487:
483:
481:
476:
470:
467:
454:
450:
444:
441:
436:
432:
428:
421:
418:
412:
407:
403:
399:
395:
388:
385:
380:
376:
372:
365:
362:
357:
353:
348:
343:
339:
335:
334:
329:
328:"Alternation"
322:
319:
314:
310:
306:
299:
296:
283:
279:
273:
270:
258:
252:
249:
246:
242:
237:
234:
227:
225:
223:
219:
214:
212:
208:
204:
200:
196:
192:
188:
184:
180:
175:
173:
169:
165:
162:, an MS from
161:
157:
153:
149:
148:Mountain View
145:
141:
137:
128:
125:
122:
120:
116:
113:
109:
106:
102:
99:
96:
92:
89:
85:
82:
78:
75:
71:
68:
65:
61:
57:
56:United States
53:
43:
39:
28:
24:
17:
1070:Discontinued
520:. Retrieved
516:the original
490:. Retrieved
486:the original
478:
469:
457:. Retrieved
453:the original
443:
426:
420:
401:
397:
387:
370:
364:
337:
331:
321:
304:
298:
286:. Retrieved
282:the original
272:
260:. Retrieved
251:
236:
215:
187:Dexter Kozen
176:
135:
134:
108:IBM Research
104:Institutions
87:
46:(2014-11-15)
36:30 July 1948
1229:2014 deaths
1224:1948 births
1150:Office Labs
901:Accelerator
878:Singularity
795:LiveStation
729:Penny Black
724:HoneyMonkey
655:Distributed
305:Alternation
222:IEEE Fellow
199:David Harel
124:Zohar Manna
1183:Categories
1133:Other labs
1092:Photosynth
987:Allegiance
982:Group Shot
966:TouchLight
962:PixelSense
942:Comic Chat
863:Barrelfish
800:MyLifeBits
775:IllumiRoom
739:WikiBhasha
696:networking
492:31 October
459:31 October
288:31 October
228:References
168:IIT Kanpur
152:California
52:California
32:1948-07-30
1111:FUSE Labs
1059:Deep Zoom
1054:Seadragon
1034:Live Labs
997:Songsmith
992:TrueSkill
977:ClearType
785:Infer.NET
709:Avalanche
677:DeepSpeed
356:238863413
1170:Category
1119:Docs.com
1077:Deepfish
1026:research
1022:MSR Labs
972:SenseCam
957:Sideshow
916:mimalloc
820:PhotoDNA
790:LightGBM
704:AjaxView
692:Internet
667:BitVault
586:projects
67:Berkeley
1042:Current
1024:applied
947:Detours
815:OneFuzz
719:Gazelle
682:Orleans
635:Phoenix
522:5 April
243:at the
1082:Listas
1007:Kinect
873:Midori
868:HomeOS
810:NodeXL
765:Digits
734:Wallop
645:SecPAL
605:Bosque
600:Bartok
482:(IEEE)
354:
262:29 May
205:(with
185:(with
94:Fields
1097:Volta
1049:Pivot
911:Joins
906:Dryad
883:Verve
352:S2CID
158:from
1124:Kodu
1002:Xbox
893:APIs
830:SLAM
825:SEAL
620:Lean
584:Main
535:DBLP
524:2011
494:2013
461:2013
290:2013
264:2015
209:and
189:and
41:Died
26:Born
921:SXM
533:at
431:doi
406:doi
375:doi
342:doi
309:doi
213:).
193:),
181:in
146:in
142:at
1185::
952:F#
937:C#
694:,
615:F*
610:CĪ
477:.
402:21
400:.
396:.
350:.
338:28
336:.
330:.
224:.
174:.
150:,
79:,
54:,
968:)
964:(
657:â
625:P
569:e
562:t
555:v
526:.
496:.
463:.
437:.
433::
414:.
408::
381:.
377::
358:.
344::
315:.
311::
292:.
266:.
34:)
30:(
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.