Simon Thompson (professor)
સિમોન થોમ્પસન એક સંશોધક, લેખક અને કેન્ટ યુનિવર્સિટીના એમેરિટસ પ્રોફેસર છે, જ્યાં તેમણે તર્ક અને ગણતરીમાં વિશેષતા મેળવી હતી. કાર્યાત્મક પ્રોગ્રામિંગમાં તેમના સંશોધનમાં એર્લાંગ, હાસ્કેલ અને ઓસીએએમએલ માટે ચકાસણી, સાધન-નિર્માણ અને પરીક્ષણનો સમાવેશ થાય છે. તેઓ પ્રકાર સિદ્ધાંત, હાસ્કેલ અને એર્લાંગ પરના પુસ્તકોના લેખક છે અને ફ્યુચરલર્ન માટે એર્લાંગ વિશે મૂક ચલાવે છે. થોમ્પસને તેની D.Phil મેળવી હતી. 1984 માં ઓક્સફર્ડ યુનિવર્સિટીમાંથી "સતત વિધેયો પર પુનરાવર્તન સિદ્ધાંતો" નામના નિબંધ સાથે. તેમના સલાહકાર રોબિન ઓલિવર ગેન્ડી હતા. તેમણે કાર્ડાનો બ્લોકચેન પ્લેટફોર્મ માટે ડોમેન-વિશિષ્ટ ભાષાઓ પર 2019 થી IOG (IOHK) માટે કામ કર્યું છે. ત્યાં, તેમણે નાણાકીય ક્ષેત્રમાં કામ કરતા બિન-પ્રોગ્રામરો માટે રચાયેલ એક વિશિષ્ટ સ્માર્ટ કોન્ટ્રાક્ટ લેંગ્વેજ, માર્લો વિકસાવી. તેમના પુસ્તકોમાં ટાઇપ થિયરી એન્ડ ફંક્શનલ પ્રોગ્રામિંગ (એડિસન વેસ્લી, 1991); મિરાન્ડાઃ ધ ક્રાફ્ટ ઓફ ફંક્શનલ પ્રોગ્રામિંગ (એડિસન વેસ્લી, 1995); હાસ્કેલઃ ધ ક્રાફ્ટ ઓફ ફંક્શનલ પ્રોગ્રામિંગ (એડિસન વેસ્લી, બીજી આવૃત્તિ) નો સમાવેશ થાય છે. 1999); અને એર્લાંગ પ્રોગ્રામિંગ (ફ્રાન્સેસ્કો સેસરીની, ઓ 'રેઈલી, 2009 સાથે). સંદર્ભો બ્રિટિશ કોમ્પ્યુટર વૈજ્ઞાનિકો કેન્ટ યુનિવર્સિટીના વિદ્વાનો જીવંત લોકો જન્મ વર્ષ ગુમ થયેલ (જીવંત લોકો) કાર્ડાનો સાથે સંકળાયેલા લોકો