Jayadev Misra
جے دیو مشرا ایک ہندوستانی نژاد کمپیوٹر سائنسدان ہیں جنہوں نے اپنے پیشہ ورانہ کیریئر کا زیادہ تر حصہ امریکہ میں گزارا ہے۔ وہ کمپیوٹر سائنس میں شلمبرگر سینٹینیل چیئر ایمریٹس اور آسٹن میں ٹیکساس یونیورسٹی میں یونیورسٹی کے ممتاز تدریسی پروفیسر ایمریٹس ہیں۔ پیشہ ورانہ طور پر وہ سمورتی پروگرامنگ کے رسمی پہلوؤں میں اپنی شراکت اور تصدیق شدہ سافٹ ویئر انیشی ایٹو (وی ایس آئی) پر پروجیکٹ، سر ٹونی ہور کے ساتھ مشترکہ طور پر قیادت کرنے کے لیے جانا جاتا ہے۔ تعلیم اور ابتدائی کیریئر مشرا کو B.Tech ملا۔ 1969 میں آئی آئی ٹی کانپور، ہندوستان سے الیکٹریکل انجینئرنگ میں اور 1972 میں جان ہاپکنز یونیورسٹی، بالٹیمور، میری لینڈ سے الیکٹریکل انجینئرنگ اور کمپیوٹر سائنس میں پی ایچ ڈی کی۔ آئی بی ایم کے لیے ایک مختصر مدت کے لیے کام کرنے کے بعد، انہوں نے 1974 میں آسٹن میں ٹیکساس یونیورسٹی میں شمولیت اختیار کی جہاں وہ اپنے پورے کیریئر میں رہے، سوائے اس کے کہ 1983-1984 کے دوران اسٹینفورڈ یونیورسٹی میں گزارے گئے ایک وقفے کے سال کے۔ انہوں نے 2015 میں فعال تدریس سے ریٹائرمنٹ لے لی۔ مشرا اور کے منی چانڈی نے سمورتی کمپیوٹنگ کے شعبے میں کئی اہم خدمات انجام دی ہیں۔ انہوں نے ہم آہنگی کے حسابات کو بیان کرنے کے لیے ایک پروگرامنگ نوٹیشن اور ایک منطق تیار کی، جسے یونٹی کہا جاتا ہے۔ لیسلی لیمپورٹ کہتی ہیں: "سمورتی الگورتھم کو بیان کرنے کے لیے روایتی پروگرامنگ زبانوں سے آگے بڑھنے کی طرف پہلا بڑا قدم مشرا اور چانڈی کا اتحاد تھا" اور "مشرا اور چانڈی نے استدلال کے انداز کو باقاعدہ بنانے کے لیے ثبوت کے اصول تیار کیے جو غیر متغیر اور لیڈز کو ثابت کرنے کے لیے تیار کیے گئے تھے۔ اتحاد نے ان ثبوتوں کے لیے اب تک کی سب سے خوبصورت تشکیل فراہم کی۔ " مشرا اور چانڈی (اور، آزادانہ طور پر، رینڈی برائنٹ) نے تقسیم شدہ مجرد واقعہ تخروپن کے لیے ایک قدامت پسند الگورتھم تیار کیا ہے، جو اب عام طور پر مختلف شعبوں میں استعمال ہوتا ہے۔ انہوں نے وسائل کی تقسیم (پینے کے فلسفیوں کا مسئلہ)، ڈیڈ لاک کا پتہ لگانے، گراف الگورتھم، اور تقسیم شدہ نظاموں میں علم کی ترسیل کے نظریہ کے لیے متعدد بنیادی الگورتھم بھی تیار کیے۔ ڈیوڈ گریس کے تعاون سے مشرا نے ہیوی ہٹرز کے مسئلے کے لیے پہلا الگورتھم تجویز کیا۔ مشرا نے سمورتی میموری تک رسائی کے لیے محوریات کا ایک مجموعہ تجویز کیا جو لکیریزیبلٹی کے نظریہ پر مبنی ہے۔ مشرا کا سب سے حالیہ تحقیقی منصوبہ، جسے او آر سی کہا جاتا ہے، سمورتی کمپیوٹنگ کا ایک الجبرا تیار کرنے کی کوشش کرتا ہے جو سمورتی عمل درآمد کے لیے سافٹ ویئر کے مختلف ٹکڑوں کو مربوط کرنے میں مدد کرے گا۔ ایوارڈ اور اعزازات ممبر، نیشنل اکیڈمی آف انجینئرنگ، 2018۔ ہیری ایچ گوڈے میموریل ایوارڈ، آئی ای ای ای، 2017۔ ڈاکٹر آنورس کاسا، ایکول نارمل سپریئر پیرس-سکلے، کیچن، فرانس، 2010۔ گگنہیم فیلوشپ، 1988۔ تھامسن رائٹرز آئی ایس آئی، 2004 کے ذریعہ "انتہائی حوالہ شدہ محقق" کے طور پر شناخت کیا گیا۔ اے سی ایم فیلو، 1995۔ آئی ای ای ای فیلو، 1992۔ ممتاز سابق طالب علم، آئی آئی ٹی کانپور، ہندوستان، ممبر، ٹی اے ایم ای ایس ٹی (دی اکیڈمی آف میڈیسن، انجینئرنگ اینڈ سائنس آف ٹیکساس)، 2018۔ منتخب اشاعتیں پروگرامنگ پریکٹس میں موثر نظریات، اے سی ایم بکس، 2023 متوازی پروگرام ڈیزائن-ایک فاؤنڈیشن (کے ایم کے ساتھ۔ چانڈی)، 1988 ڈسٹری بیوٹڈ ڈسکرٹ ایونٹ سمیلیشن، 1986 پروفوز آف نیٹ ورکس آف پروسیسز (کے ایم کے ساتھ۔ چانڈی)، 1981 ڈسٹری بیوٹڈ ڈیڈلاک ڈٹیکشن (کے ایم کے ساتھ۔ چانڈی اور لورا ایم ہاس)، 1983 شراب نوشی کے فلسفیوں کا مسئلہ (کے ایم کے ساتھ۔ چانڈی)، 1984 بار بار عناصر تلاش کرنا (ڈی گریس کے ساتھ)، 1982 کیسے عمل سیکھتے ہیں (کے ایم کے ساتھ۔ چانڈی)، 1985 دی آرک پروگرامنگ لینگویج (ڈی کچن، اے کوارک، اور ڈبلیو کک کے ساتھ)، 2009 آکسیمز فار میموری ایکسیس ان اسنکرونس ہارڈ ویئر سسٹمز، 1986 پاور لسٹ: اے اسٹرکچر فار متوازی ریکرشن، 1994 تصدیق شدہ سافٹ ویئر: تھیوریز، ٹولز، ایکسپیرمنٹس ویژن آف اے گرینڈ چیلنج پروجیکٹ (ٹونی ہور کے ساتھ)، 2008