Simon Thompson (professor)
साइमन थॉम्पसन एक शोधकर्ता, लेखक और केंट विश्वविद्यालय के एक एमेरिटस प्रोफेसर हैं, जहाँ उन्होंने तर्क और गणना में विशेषज्ञता प्राप्त की। कार्यात्मक प्रोग्रामिंग में उनके शोध में एर्लांग, हास्केल और ओसीएएमएल के लिए सत्यापन, उपकरण-निर्माण और परीक्षण शामिल हैं। वह टाइप थ्योरी, हास्केल और एर्लांग पर पुस्तकों के लेखक हैं, और फ्यूचरलर्न के लिए एर्लांग के बारे में एक मूक चलाते हैं। थॉम्पसन ने अपना D.Phil प्राप्त किया। 1984 में ऑक्सफोर्ड विश्वविद्यालय से "निरंतर कार्यों पर पुनरावृत्ति सिद्धांत" नामक एक शोध प्रबंध के साथ। उनके सलाहकार रॉबिन ओलिवर गैंडी थे। उन्होंने 2019 से कार्डानो ब्लॉकचेन प्लेटफॉर्म के लिए डोमेन-विशिष्ट भाषाओं पर आईओजी (आईओएचके) के लिए काम किया है। वहाँ, उन्होंने वित्तीय क्षेत्र में काम करने वाले गैर-प्रोग्रामरों के लिए डिज़ाइन की गई एक विशेष स्मार्ट अनुबंध भाषा, मार्लो विकसित की। उनकी पुस्तकों में शामिल हैंः टाइप थ्योरी एंड फंक्शनल प्रोग्रामिंग (एडिसन वेस्ले, 1991); मिरांडाः द क्राफ्ट ऑफ फंक्शनल प्रोग्रामिंग (एडिसन वेस्ले, 1995); हास्केलः द क्राफ्ट ऑफ फंक्शनल प्रोग्रामिंग (एडिसन वेस्ले, दूसरा संस्करण)। 1999); और एर्लांग प्रोग्रामिंग (फ्रांसेस्को सेसारिनी, ओ 'रेली, 2009 के साथ)। ब्रिटिश कंप्यूटर वैज्ञानिक केंट विश्वविद्यालय के शिक्षाविद जीवित लोग जन्म का वर्ष लापता (जीवित लोग) कार्डानो से जुड़े लोग