David Harel
ડેવિડ હેરેલ (; જન્મ 12 એપ્રિલ 1950) એક કમ્પ્યુટર વૈજ્ઞાનિક છે, જે હાલમાં ઇઝરાયેલ એકેડેમી ઓફ સાયન્સિસ એન્ડ હ્યુમેનિટીઝના પ્રમુખ તરીકે સેવા આપી રહ્યા છે. તેઓ 1980 થી ઇઝરાયેલમાં વિઝમેન ઇન્સ્ટિટ્યૂટ ઓફ સાયન્સના ફેકલ્ટીમાં છે અને ગણિતના વિલિયમ સુસમેન પ્રોફેસરિયલ ચેર ધરાવે છે. ઇંગ્લેન્ડના લંડનમાં જન્મેલા તેઓ સાત વર્ષ સુધી સંસ્થામાં ગણિત અને કોમ્પ્યુટર વિજ્ઞાન ફેકલ્ટીના ડીન હતા. હરેલ ડાયનેમિક લોજિક, કોમ્પ્યુટેબિલિટી, ડેટાબેઝ થિયરી, સોફ્ટવેર એન્જિનિયરિંગ અને મોડેલિંગ બાયોલોજિકલ સિસ્ટમ્સ પરના તેમના કામ માટે જાણીતા છે. 1980 ના દાયકામાં તેમણે પ્રતિક્રિયાશીલ પ્રણાલીઓને સ્પષ્ટ કરવા અને પ્રોગ્રામિંગ કરવા માટે સ્ટેટચાર્ટની ગ્રાફિકલ ભાષાની શોધ કરી, જેને યુ. એમ. એલ. ધોરણના ભાગ રૂપે અપનાવવામાં આવી છે. 1990 ના દાયકાના અંતથી તેમણે લાઇવ સિક્વન્સ ચાર્ટ્સની તેમની સહ-શોધ (ડબલ્યુ. ડેમ સાથે) દ્વારા શરૂ કરવામાં આવેલી આવી સિસ્ટમોના પ્રોગ્રામિંગ માટે દૃશ્ય-આધારિત અભિગમ પર ધ્યાન કેન્દ્રિત કર્યું છે. તેમણે કોમ્પ્યુટર વિજ્ઞાનના એક્સપોઝીટરી અહેવાલો પ્રકાશિત કર્યા છે, જેમ કે તેમના 1987 ના પુરસ્કાર વિજેતા પુસ્તક "એલ્ગોરિધમિક્સઃ ધ સ્પિરિટ ઓફ કમ્પ્યુટિંગ" અને તેમના 2000 પુસ્તક "કોમ્પ્યુટર્સ લિમિટેડઃ વોટ દે રિયલી કેનટ ડુ", અને ઇઝરાયેલી રેડિયો અને ટેલિવિઝન માટે કોમ્પ્યુટર વિજ્ઞાન પર શ્રેણી રજૂ કરી છે. તેમણે ગ્રાફ લેઆઉટ, કોમ્પ્યુટર સાયન્સ એજ્યુકેશન, બાયોલોજિકલ મોડેલિંગ અને ગંધોનું વિશ્લેષણ અને સંચાર જેવા અન્ય વિવિધ વિષયો પર પણ કામ કર્યું છે. હરેલે 1976 અને 1978ની વચ્ચે એમ. આઈ. ટી. ખાતે પીએચડી પૂર્ણ કરી હતી. 1987માં તેમણે સોફ્ટવેર કંપની આઈ-લોગિક્સની સહ-સ્થાપના કરી હતી, જે 2006માં આઇબીએમનો ભાગ બની હતી. તેમણે કેનોરહૅબિડાઇટિસ એલિગન્સ નેમાટોડનું સંપૂર્ણ કમ્પ્યુટર મોડેલ બનાવવાની હિમાયત કરી છે, જે તેના જીનોમને સંપૂર્ણપણે અનુક્રમિત કરનાર પ્રથમ મલ્ટીસેલ્યુલર જીવતંત્ર હતું. આવા મોડેલની અંતિમ પૂર્ણતા તેના ટ્યુરિંગ પરીક્ષણના અદ્યતન સંસ્કરણ પર આધારિત છે. તેઓ એ. સી. એમ., આઈ. ઈ. ઈ. ઈ., એ. એ. એ. એસ. અને ઇ. એ. ટી. સી. એસ. ના સભ્ય છે અને ઘણી આંતરરાષ્ટ્રીય અકાદમીઓના સભ્ય છે. હરેલ ઇઝરાયેલમાં સંખ્યાબંધ શાંતિ અને માનવાધિકાર સંગઠનોમાં સક્રિય છે. પુરસ્કારો અને સન્માન 1986 સ્ટીવન્સ એવોર્ડ ફોર સોફ્ટવેર ડેવલપમેન્ટ મેથડ્સ 1992 એસીએમ કાર્લસ્ટ્રોમ આઉટસ્ટેન્ડિંગ એજ્યુકેટર એવોર્ડ 1994 એસીએમ ફેલો 1995 આઈઈઈઈ ફેલો 2004 ઇઝરાયેલ પ્રાઇઝ, કોમ્પ્યુટર સાયન્સ માટે 2005 ડોક્ટર હોનોરિસ કૌસા, યુનિવર્સિટી ઓફ રેન્સ, ફ્રાન્સ 2006 એસીએમ સિગસોફ્ટ આઉટસ્ટેન્ડિંગ રિસર્ચ એવોર્ડ 2006 એકેડેમિયા યુરોપિયાના સભ્ય 2006 ડોક્ટર (લૌરા) હોનોરિસ કૌસા, યુનિવર્સિટી ઓફ મિલાનો-બીકોકા, 18 મે 2006 ફેલો હોનોરિસ કૌસા, ઓપન યુનિવર્સિટી ઓફ ઇઝરાયેલ 2007 એસીએમ સોફ્ટવેર સિસ્ટમ એવોર્ડ 2010 ઇમેટ પ્રાઇઝ 2010 ઇઝરાયેલ એકેડેમી ઓફ સાયન્સિસ અને હ્યુમેનિટીઝ 2012 ડોક્ટર હોનોરિસ કૌસા, આઇન્ડહોવન યુનિવર્સિટી ઓફ ટેકનોલોજી, નેધરલેન્ડ 2014 ઇન્ટરનેશનલ મેમ્બર ઓફ ધ યુએસ નેશનલ એકેડેમી ઓફ એન્જિનિયરિંગ 2014 2020 ફેલો ઓફ ધ રોયલ સોસાયટી (એફઆરએસ) 2021 ચાઇનીઝ એકેડેમી ઓફ સાયન્સિસના વિદેશી સભ્ય 2023 હાર્લન ડી. મિલ્સ એવોર્ડ ઇઝરાયેલ પુરસ્કાર પ્રાપ્તકર્તાઓની સૂચિ પણ જુઓ ઇઝરાયેલ એકેડેમી ઓફ સાયન્સિસ એન્ડ હ્યુમેનિટીઝ રેફરન્સિસના સભ્યો બાહ્ય લિંક્સ ડેવિડ હેરેલનું વેઇઝમેન ઇન્સ્ટિટ્યૂટ ઓફ સાયન્સમાં હોમ પેજ. ઇઝરાયેલ એકેડેમી ઓફ સાયન્સ એન્ડ હ્યુમેનિટીઝમાં ડેવિડ હેરેલનું પાનું. 1950 જન્મ લંડનના જીવંત લોકો કમ્પ્યુટર વિજ્ઞાનમાં ઇઝરાયેલી કમ્પ્યુટર વૈજ્ઞાનિકો ઇઝરાયેલ પુરસ્કાર મેળવનારા ઇઝરાયેલી યહૂદીઓ અમેરિકન એકેડેમી ઓફ આર્ટ્સ એન્ડ સાયન્સિસના ફેલો અમેરિકન એસોસિએશન ફોર ધ એડવાન્સમેન્ટ ઓફ સાયન્સ ફેલો ઓફ ધ એસોસિએશન ફોર કમ્પ્યુટિંગ મશીનરી ફેલો ઓફ ધ આઇ. ઇ. ઇ. ઇ. ફેલો ઓફ ધ રોયલ સોસાયટી ઔપચારિક પદ્ધતિઓ લોકો આલેખ લોકોને દોરતા એકેડેમિયા યુરોપિયા સિસ્ટમ્સના સભ્યો જીવવિજ્ઞાનીઓ સોફ્ટવેર એન્જિનિયરિંગ સંશોધકો યુનિફાઇડ મોડેલિંગ લેંગ્વેજ વિઝમેન ઇન્સ્ટિટ્યૂટ ઓફ સાયન્સના શૈક્ષણિક સ્ટાફ નેશનલ એકેડેમી ઓફ સાયન્સિસના વિદેશી સહયોગીઓ નેશનલ એકેડેમી ઓફ એન્જિનિયરિંગના વિદેશી સહયોગીઓ ચાઇનીઝ એકેડેમી ઓફ સાયન્સિસના વિદેશી સભ્યો