Simon Thompson (professor)
سائمن تھامسن ایک محقق، مصنف اور کینٹ یونیورسٹی کے ایک ایمریٹس پروفیسر ہیں، جہاں انہوں نے منطق اور کمپیوٹیشن میں مہارت حاصل کی۔ فنکشنل پروگرامنگ میں ان کی تحقیق ایرلانگ، ہاسکل اور اوکیمل کے لیے تصدیق، ٹول بلڈنگ اور ٹیسٹنگ کا احاطہ کرتی ہے۔ وہ ٹائپ تھیوری، ہاسکل اور ایرلانگ پر کتابوں کے مصنف ہیں، اور فیوچر لرن کے لیے ایرلانگ کے بارے میں ایک موک چلاتے ہیں۔ تھامسن نے اپنا D.Phil حاصل کیا۔ 1984 میں آکسفورڈ یونیورسٹی سے "مسلسل افعال پر تکرار کے نظریات" کے عنوان سے ایک مقالہ کے ساتھ۔ ان کے مشیر رابن اولیور گانڈی تھے۔ انہوں نے کارڈانو بلاکچین پلیٹ فارم کے لیے ڈومین مخصوص زبانوں پر 2019 سے آئی او جی (آئی او ایچ کے) کے لیے کام کیا ہے۔ وہاں، اس نے مالیاتی شعبے میں کام کرنے والے غیر پروگرامرز کے لیے ڈیزائن کی گئی ایک خصوصی سمارٹ کنٹریکٹ زبان، مارلو تیار کی۔ ان کی کتابوں میں شامل ہیں: ٹائپ تھیوری اینڈ فنکشنل پروگرامنگ (ایڈیسن ویزلی، 1991) ؛ مرانڈا: دی کرافٹ آف فنکشنل پروگرامنگ (ایڈیسن ویزلی، 1995) ؛ ہاسکل: دی کرافٹ آف فنکشنل پروگرامنگ (ایڈیسن ویزلی، دوسرا ایڈیشن۔ 1999) ؛ اور ایرلانگ پروگرامنگ (فرانسیسکو سیزارینی، او ریلی، 2009 کے ساتھ)۔ حوالہ جات برطانوی کمپیوٹر سائنس دان یونیورسٹی آف کینٹ کے ماہرین تعلیم زندہ لوگ سال پیدائش لاپتہ (زندہ لوگ) کارڈانو سے وابستہ افراد