Madhu Sudan
مدھو سوڈان (پیدائش 12 ستمبر 1966) ایک ہندوستانی-امریکی کمپیوٹر سائنسدان ہیں۔ وہ 2015 سے ہارورڈ جان اے پالسن اسکول آف انجینئرنگ اینڈ اپلائیڈ سائنسز میں کمپیوٹر سائنس کے گورڈن میک کی پروفیسر رہے ہیں۔ انہوں نے 1987 میں آئی آئی ٹی دہلی سے کمپیوٹر سائنس میں بیچلر کی ڈگری حاصل کی اور 1992 میں یونیورسٹی آف کیلیفورنیا، برکلے سے کمپیوٹر سائنس میں ڈاکٹریٹ کی ڈگری حاصل کی۔ وہ 1992 سے 1997 تک نیویارک کے یارک ٹاؤن ہائٹس میں آئی بی ایم تھامس جے واٹسن ریسرچ سینٹر میں تحقیقی عملے کے رکن تھے اور اس کے بعد ایم آئی ٹی چلے گئے۔ 2009 سے 2015 تک وہ 2015 میں ہارورڈ یونیورسٹی میں شامل ہونے سے پہلے مائیکروسافٹ ریسرچ نیو انگلینڈ میں مستقل محقق رہے۔ تحقیقی تعاون اور اعزازات انہیں 2002 میں ریاضی دانوں کی 24 ویں بین الاقوامی کانگریس (آئی سی ایم) میں رالف نیوانلننا انعام سے نوازا گیا۔ یہ انعام کمپیوٹر سائنس کے ریاضیاتی پہلوؤں میں شاندار کام کو تسلیم کرتا ہے۔ سوڈان کو ممکنہ طور پر قابل جانچ ثبوت کے نظریہ کو آگے بڑھانے میں ان کے کام کے لیے اعزاز سے نوازا گیا-کمپیوٹر زبان میں ریاضیاتی ثبوت کو اس کی صداقت پر اضافی جانچ کے لیے دوبارہ ترتیب دینے کا ایک طریقہ-اور غلطی کو درست کرنے والے کوڈ تیار کرنا۔ اسی کام کے لیے، انہیں 1993 میں اے سی ایم کا ممتاز ڈاکٹریٹ مقالہ ایوارڈ اور 2001 میں گوڈل انعام ملا اور وہ 1998 میں آئی سی ایم کے مدعو اسپیکر تھے۔ وہ اے سی ایم (2008) کے فیلو ہیں۔ 2012 میں وہ امریکن میتھمیٹیکل سوسائٹی کے فیلو بن گئے۔ 2014 میں انہوں نے ریاضیاتی علوم میں انفوسس انعام جیتا۔ 2017 میں وہ نیشنل اکیڈمی آف سائنسز کے لیے منتخب ہوئے۔ 2021 میں انہیں 2022 کے لیے آئی ای ای ای رچرڈ ڈبلیو ہیمنگ میڈل سے نوازا گیا۔ سوڈان نے نظریاتی کمپیوٹر سائنس کے کئی شعبوں میں اہم تعاون کیا ہے، جن میں ممکنہ طور پر جانچنے کے قابل ثبوت، اصلاح کے مسائل کی غیر مطابقت، لسٹ ڈیکوڈنگ، اور غلطی کو درست کرنے والے کوڈ شامل ہیں۔ ۔