David Harel

David Harel (chiàⁿ-pêng) kap Carl Hewitt tī FLoC 2006.

David Harel (1950年 (nî) —) 是 (sī)以色列 (Í-sek-lia̍t)Weizmann科學 (Kho-ha̍k)研究院 (Gián-kiù-īⁿ) (Weizmann Institute of Science) 電腦 (tiān-náu)科學的 (ê)教授 (kàu-siū)。 Harel佇 (tī)英地 (Eng-tē)London出世 (chhut-sì)，捌 (bat)做過 (chò-koè)7冬 (tang)數學 (Sò͘-ha̍k)佮 (kap)電腦科學所 (Só͘) (Faculty of Mathematics and Computer Science) 的所長 (só͘-tiúⁿ) (dean)。 Harel嘛 (mā)是ACM佮IEEE的會士 (hoē-sū) (fellow)。

Harel的專長 (choan-tióng)是動態 (tōng-thài)邏即 (lô-chek) (dynamic logic)，計算可能性 (kè-sǹg-khó-lêng-sèng)理論 (lí-lūn) (computability theory) 佮軟體 (nńg-thé)工程 (kang-têng)。 1980年代 (nî-tāi)， Harel發明 (hoat-bêng)圖形 (tô͘-hêng)語言 (gí-giân)Statechart，今 (taⁿ)成做 (chiâⁿ-chò)UML標準 (phiau-chún)的1部分 (pō͘-hūn)。 Harel嘛寫 (siá)真 (chin)濟 (chē)介紹 (kài-siāu)電腦科學的冊 (chheh)，親像 (chhan-chhiūⁿ)1987年出 (chhut)的冊 "Ián-soàn-hoat-ha̍k: Kè-sǹg ê Cheng-sîn (Algorithmics: The Spirit of Computing)"。

獎 (Chióng)

• 1986 Stevens種 (Chióng)軟體發展 (Hoat-tián)方發 (Hong-hoat) (Software Development Methods)
• 1992 ACM Karlstrom傑出 (Kia̍t-chhut)教育家 (Kàu-io̍k-ka)獎 (Outstanding Educator Award)
• 2004以色列獎

外部 (Goā-pō͘)連結 (liân-kiat)

• Harel佇Weizmann的網站 (bāng-chām)