Израильдік ғалым Давид Харел – динамикалық логика, есептеу теориясы, және жүйелерді модельдеудегі сарапшы. Statecharts авторы, UML стандартының бөлігі.
Ағылшыншамен салыстырыңыз: абзацты басыңыз — түпнұсқа терезеде ашылады. Абзац астындағы EN түймесі оны мәтін ішінде көрсетеді.
Кіріспе
Израильдік компьютер ғалымы Дэвид Харел (12 сәуірде 1950 жылы туған) – компьютер ғалымы, қазір Израиль ғылымдары мен гуманитарлық ғылымдар академиясының президенті қызметін атқарады. 1980 жылдан бері Израильдегі Вейцман ғылым институтында профессор болып жұмыс істейді және Вильям Суссман атындағы математика кафедрасын меңгереді. Лондонда туған ол жеті жыл бойы институттың математика және компьютерлік ғылымдар факультетінің деканы болды.
Israeli computer scientist
David Harel (; born 12 April 1950) is a computer scientist, currently serving as President of the Israel Academy of Sciences and Humanities. He has been on the faculty of the Weizmann Institute of Science in Israel since 1980, and holds the William Sussman Professorial Chair of Mathematics. Born in London, England, he was Dean of the Faculty of Mathematics and Computer Science at the institute for seven years.
Өмірбаян
Харел динамикалық логика, есептеу теориясы, деректер базасы теориясы, бағдарламалық жасақтаманы жасау және биологиялық жүйелерді модельдеу салаларындағы еңбектерімен әйгілі. 1980 жылдары ол реактивті жүйелерді сипаттау және бағдарламалау үшін Statecharts графикалық тілін ойлап тапты, ол UML стандартының бір бөлігі ретінде қабылданды. 1990 жылдардың соңынан бастап ол осындай жүйелерді бағдарламалауға сценарийлерге негізделген тәсілге ден қойды, бұл оның В. Дамммен бірлесіп ойлап тапқан Тірі реттілік кестелерінің (Live Sequence Charts) арқасында мүмкін болды. Ол компьютер ғылымы туралы көптеген мақалалар жариялады, соның ішінде 1987 жылы марапатқа ие болған «Алгоритмдер: Есептеудің рухы» және 2000 жылы жарық көрген «Компьютерлер ЖШҚ: Олар не істей алмайды» кітаптарын атауға болады. Сондай-ақ, ол Израиль радиосы мен теледидары үшін компьютер ғылымы туралы бірнеше циклдар ұсынды. Ол графиктерді құру, компьютерлік білім беру, биологиялық модельдеу, иістерді талдау және олар туралы хабарлау сияқты әртүрлі тақырыптарда да жұмыс істеді. Харел 1976-1978 жылдары МТИ-де (MIT) докторлық диссертациясын қорғады. 1987 жылы ол I Logix бағдарламалық компаниясын құрды, ол 2006 жылы IBM құрамына кірді. Харел Caenorhabditis elegans нематодасының толық компьютерлік моделін жасауды қолдайды, ол геномы толық реттелген алғашқы көпжасушалы организм болды. Мұндай модельдің толыққанды болуы оның Тьюринг тестісінің жаңартылған нұсқасына байланысты. Ол ACM, IEEE, AAAS және EATCS мүшесі, сондай-ақ бірнеше халықаралық академиялардың мүшесі. Харел Израильдегі бейбітшілік пен адам құқықтарын қорғайтын бірқатар ұйымдардың белсенді мүшесі.
Harel is best known for his work on dynamic logic, computability, database theory, software engineering and modelling biological systems. In the 1980s he invented the graphical language of Statecharts for specifying and programming reactive systems, which has been adopted as part of the UML standard. Since the late 1990s he has concentrated on a scenario based approach to programming such systems, launched by his co invention (with W. Damm) of Live Sequence Charts. He has published expository accounts of computer science, such as his award winning 1987 book "Algorithmics: The Spirit of Computing" and his 2000 book "Computers Ltd.: What They Really Can’t do", and has presented series on computer science for Israeli radio and television. He has also worked on other diverse topics, such as graph layout, computer science education, biological modeling and the analysis and communication of odors. Harel completed his PhD at MIT between 1976 and 1978. In 1987, he co founded the software company I Logix, which in 2006 became part of IBM. He has advocated building a full computer model of the Caenorhabditis elegans nematode, which was the first multicellular organism to have its genome completely sequenced. The eventual completeness of such a model depends on his updated version of the Turing test. He is a fellow of the ACM, the IEEE, the AAAS, and the EATCS, and a member of several international academies. Harel is active in a number of peace and human rights organizations in Israel.