David Harel - David Harel
David Harel | |
|---|---|
 David Harel (sağda) ile Carl Hewitt FLoC 2006'da | |
| Doğum | 12 Nisan 1950 Londra, İngiltere, İngiltere |
| Milliyet | İsrail ve İngiliz |
| Ödüller | |
| Bilimsel kariyer | |
| Alanlar | Bilgisayar Bilimi |
| Kurumlar | Weizmann Enstitüsü |
David Harel (İbranice: דוד הראל; 12 Nisan 1950 doğumlu), bir bilgisayar bilimcisidir. Weizmann Bilim Enstitüsü içinde İsrail ve William Sussman Profesör Matematik Kürsüsüne sahiptir. İngiltere'nin Londra kentinde doğdu, yedi yıl boyunca Enstitü Matematik ve Bilgisayar Bilimleri Fakültesi Dekanı olarak görev yaptı. Halen, Başkan Yardımcısı olarak görev yapmaktadır. İsrail Bilimler ve Beşeri Bilimler Akademisi.
Biyografi
Harel, en çok dinamik mantık, hesaplanabilirlik, veritabanı teorisi, yazılım mühendisliği ve biyolojik sistemlerin modellenmesi. 1980'lerde grafik dilini icat etti. İstatistikler bir parçası olarak kabul edilen reaktif sistemleri belirlemek ve programlamak için UML standart. 1990'ların sonlarından bu yana, bu tür sistemleri programlamak için senaryo temelli bir yaklaşım üzerinde yoğunlaşmıştır. Canlı Sıra Grafikleri. 1987 tarihli ödüllü kitabı "Algorithmics: The Spirit of Computing" ve 2000 kitabı "Computers Ltd.: What They 'gibi bilgisayar bilimi hakkında açıklayıcı açıklamalar yayınladı Gerçekten mi Yapamazsın "ve İsrail radyo ve televizyonu için bilgisayar bilimi üzerine diziler sundu. Ayrıca diğer çeşitli konularda da çalıştı. grafik düzeni, bilgisayar bilimi eğitimi ve analizi ve iletişimi koku.
Harel, doktorasını MIT 1976 ve 1978 arasında. 1987'de yazılım şirketini kurdu. I-Logix, 2006'da IBM'in bir parçası oldu.
Tam bir bilgisayar modelinin oluşturulmasını savundu. Caenorhabditis elegans Genomu tamamen dizilenen ilk çok hücreli organizma olan nematod. Böyle bir modelin nihai bütünlüğü, onun güncellenmiş versiyonuna bağlıdır. Turing testi.
O bir dostudur ACM, IEEE, AAAS ve EATCS.
Harel, İsrail'de çeşitli barış ve insan hakları kuruluşlarında aktiftir.
Ödüller ve onurlar
- 1986 Stevens Ödülü Yazılım Geliştirme Yöntemleri için
- 1992 ACM Karlstrom Üstün Eğitimci Ödülü[1]
- 1994 ACM Üyesi[1]
- 1995 IEEE Üyesi
- 2004 İsrail Ödülü, bilgisayar bilimi için[2][3]
- 2005 Doctor Honoris Causa, Rennes Üniversitesi, Fransa
- 2006 ACM SIGSOFT Üstün Araştırma Ödülü
- 2006 Üyesi Academia Europaea[4]
- 2006 Doktor (Laura) Honoris Causa, Milano-Bicocca Üniversitesi, 18 Mayıs 2006[5]
- 2006 Fellow Honoris Causa, İsrail Açık Üniversitesi
- 2007 ACM Yazılım Sistem Ödülü[1]
- 2010 Emet Ödülü
- 2010 Üyesi İsrail Bilimler ve Beşeri Bilimler Akademisi[6]
- 2012 Doctor Honoris Causa, Eindhoven Teknoloji Üniversitesi, Hollanda
- 2014 ABD'nin yabancı ortağı Ulusal Mühendislik Akademisi[7]
- 2014 Yabancı Şeref Üyesi Amerikan Sanat ve Bilim Akademisi[8]
- 2019 ABD'nin yabancı ortağı Ulusal Bilimler Akademisi.[9]
- 2020 Seçildi Kraliyet Cemiyeti Üyesi [10]
Ayrıca bakınız
Referanslar
- ^ a b c David Harel - Ödül Kazanan, ACM. Erişim tarihi: 2 Ocak 2015.
- ^ "İsrail Ödülü Resmi Sitesi (İbranice) - Alıcının Özgeçmişi"
- ^ "İsrail Ödülü Resmi Sitesi (İbranice) - Yargıçların Alıcıya Verilmesi İçin Gerekçe".
- ^ Üye profili, Academia Europaea. Erişim tarihi: 2 Ocak 2015.
- ^ "Ödül şerefi nedensel" (italyanca). 13 Aralık 2016. Alındı 2 Nisan 2018.
- ^ Üye profili, İsrail Bilimler ve Beşeri Bilimler Akademisi.
- ^ Üye profili, Ulusal Mühendislik Akademisi. Erişim tarihi: 2 Ocak 2015.
- ^ Yeni seçilen üyeler, American Academy of Arts and Sciences, Nisan 2014. Erişim tarihi: 2 Ocak 2015.
- ^ "2019 NAS Seçimi". Ulusal Bilimler Akademisi. 30 Nisan 2019.
- ^ "David Harel". Kraliyet toplumu. Alındı 19 Eylül 2020.
Dış bağlantılar
- David Harel Weizmann Institute of Science'daki ana sayfası.
- David Harel İsrail Bilimler ve Beşeri Bilimler Akademisi sayfasından.
