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 பிறப்புகள் உயிருள்ள மக்கள் லண்டனைச் சேர்ந்த கணிதவியலாளர்கள் இஸ்ரேலிய கணினி விஞ்ஞானிகள் கணினி அறிவியலில் இஸ்ரேலிய யூதர்கள் பரிசு பெற்றவர்கள் அமெரிக்கன் அகாடமி ஆஃப் ஆர்ட்ஸ் அண்ட் சயின்சஸ் ஃபெலோஸ் ஆஃப் தி அமெரிக்கன் அசோசியேஷன் ஃபார் தி அட்வான்ஸ்மென்ட் ஆஃப் சயின்ஸ் ஃபெலோஸ் ஆஃப் தி அசோசியேஷன் ஃபார் கம்ப்யூட்டிங் மெஷினரி ஃபெலோஸ் ஆஃப் தி ராயல் சொசைட்டி ஃபார்மல் மெத்தட்ஸ் ஃபெலோ மெம்பர்ஸ் ஆஃப் தி ஐ. இ. இ. இ ஃபெலோஸ் ஆஃப் தி அகாடெமியா ஐரோப்பியா சிஸ்டம்ஸ் உயிரியலாளர்கள் மென்பொருள் பொறியியல் ஆராய்ச்சியாளர்கள் ஒருங்கிணைந்த மாடலிங் மொழி அறிவியல் வெய்ஸ்மான் இன்ஸ்டிடியூட் ஆஃப் சயின்ஸின் கல்வி ஊழியர்கள் தேசிய அறிவியல் அகாடமியின் வெளிநாட்டு கூட்டாளிகள் சீன அறிவியல் அகாடமியின் தேசிய பொறியியல் அகாடமியின் வெளிநாட்டு கூட்டாளிகள்