Harry Mairson
ہیری جارج مائرسن ایک نظریاتی کمپیوٹر سائنسدان اور والتھم، میساچوسٹس میں برانڈیس یونیورسٹی کے وولن نیشنل سینٹر فار کمپلیکس سسٹمز میں کمپیوٹر سائنس کے پروفیسر ہیں۔ ان کی تحقیق کمپیوٹر سائنس میں منطق، لیمبڈا کیلکولس اور فنکشنل پروگرامنگ، ٹائپ تھیوری اور تعمیری ریاضی، کمپیوٹیشنل پیچیدگی تھیوری، اور الگورتھم کے شعبوں میں ہے۔ ان کا پی ایچ ڈی مقالہ، دی پروگرام کمپلیکسٹی آف سرچنگ اے ٹیبل، نے 1983 میں آئی ای ای ای سمپوزیم آن فاؤنڈیشنز آف کمپیوٹر سائنس (ایف او سی ایس) میں ماکٹی ایوارڈ جیتا۔ میرسن 1984 سے 1985 تک آئی این آر آئی اے روکن کورٹ میں، 1985 میں اسٹینفورڈ یونیورسٹی میں، اور 1986 میں آکسفورڈ یونیورسٹی میں پوسٹ ڈاکٹریٹ کے محقق تھے۔ انہوں نے 1999 سے 2001 تک بوسٹن یونیورسٹی میں وزٹنگ پروفیسر کا عہدہ سنبھالا۔ 2005 سے 2007 تک، میرسن نے برانڈیس میں فیکلٹی سینیٹ کے سربراہ کے طور پر خدمات انجام دیں۔ وہ فی الحال کمپیوٹر سائنس اور انفارمیشن اینڈ کمپیوٹیشن میں منطقی طریقوں کے جریدے کے ایسوسی ایٹ ایڈیٹر ہیں، اور اعلی آرڈر اور علامتی کمپیوٹیشن کے ادارتی بورڈ میں بیٹھے ہیں۔ پروگرامنگ زبانوں کے نظریہ میں میرسن کی شراکت میں یہ ثابت کرنا شامل ہے کہ ایم ایل پروگرامنگ زبان کے لیے اس قسم کا تخمینہ، نام نہاد ہنڈلی ملنر قسم کا تخمینہ، تیز رفتار وقت کے لیے مکمل ہے اور متوازی بیٹا میں کمی غیر عنصر ہے۔ ایجوکیشن مائرسن نے بی اے کیا۔ 1978 میں ییل یونیورسٹی سے ریاضی میں اور 1984 میں جیفری المین کی نگرانی میں اسٹینفورڈ یونیورسٹی سے کمپیوٹر سائنس میں پی ایچ ڈی کی۔ بیرونی روابط ہیری مائرسن برانڈیس یونیورسٹی فیکلٹی گائیڈ میں: ہیری مائرسن ڈی بی ایل پی: ہیری جی مائرسن ریاضی جینیلجی پروجیکٹ-ہیری مائرسن حوالہ جات پیدائش کا سال لاپتہ (زندہ لوگ) زندہ لوگ ییل یونیورسٹی کے سابق طالب علم اسٹینفورڈ یونیورسٹی کے سابق طالب علم امریکی کمپیوٹر سائنسدان پروگرامنگ زبان کے محققین برانڈیس یونیورسٹی فیکلٹی نظریاتی کمپیوٹر سائنسدان