Is your surname Harel?

Research the Harel family

David Harel's Geni Profile

Share your family tree and photos with the people you know and love

  • Build your family tree online
  • Share photos and videos
  • Smart Matching™ technology
  • Free!

Share

David Harel

Hebrew: David דוד הראל
Birthdate: (64)
Birthplace: London, United Kingdom
Immediate Family:

Son of Harold Aharon Harel-Fisch and Joice ג'ויס Harel Fisch הראל-פיש
Husband of <private> Harel הראל
Ex-husband of <private> Harel הראל
Father of <private> Harel הראל
Brother of <private> Fisch פיש and <private> Harel-Fisch הראל-פיש

Occupation: Israeli Computer Scientist. Israel Prize, 2004
Managed by: Private User
Last Updated:
view all

Immediate Family

About David Harel

דוד הראל - פרס ישראל תשס"ד

David Harel (Hebrew: דוד הראל‎; born 1950) is a professor of computer science at the Weizmann Institute of Science in Israel. Born in London, England, he was Dean of the Faculty of Mathematics and Computer Science at the institute for seven years.

Harel is best known for his work on dynamic logic, computability and software engineering. In the 1980s he invented the graphical language of Statecharts, which has been adopted as part of the UML standard. He has also published expository accounts of computer science, such as his award winning 1987 book "Algorithmics: The Spirit of Computing" and has made appearances on Israeli radio and television. He currently works on many diverse topics, including visual languages, graph layout, systems biology and the communication of odours.

Harel completed his Ph.D. at MIT between 1976 and 1978, which is exceptionally fast.

In 1987, Harel co-founded software company I-Logix.

He is now working on a computer model of a nematode, 'Caenorhabditis elegans', 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 test developed by Alan Turing to identify whether computers could reason well enough that a human communicating with them could not tell whether a human or a machine was at the other end of the communication.

He is a fellow of the ACM and the IEEE.

  • 1986 Stevens Award for Software Development Methods
  • 1992 ACM Karlstrom Outstanding Educator Award
  • 2004 Israel Prize, for computer science[3][4]
  • 2006 ACM SIGSOFT Outstanding Research Award
  • 2007 ACM Software System Award

About David דוד הראל (עברית)

ויקיפדיה: דוד הראל (נולד בשנת 1950), פרופסור למדעי המחשב במכון ויצמן למדע, חתן פרס ישראל לשנת תשס"ד 2004. ידוע בעיקר בזכות עבודתו בתחומי הלוגיקה הדינמית, החישוביות והנדסת התוכנה

דוד הראל נולד ב-1950 בלונדון שבאנגליה, בן לג'ויס ואהרן הראל פיש. אחיו המבוגר ממנו בשנתיים הוא מנחם פיש. בילדותו גדל בלידס, שם היה אביו מרצה לספרות באוניברסיטת לידס. עלה עם משפחתו לישראל בהיותו בן 7. בישראל הצטרף אביו לסגל אוניברסיטת בר-אילן ולימים היה רקטור האוניברסיטה

הוא למד בישיבת בני עקיבא "נתיב מאיר" בירושלים. בשנת 1968 התגייס לצה"ל, שירת בנח"ל וסיים את שירותו הסדיר כסמ"פ

בעל תואר ראשון במתמטיקה ובמדעי המחשב מאוניברסיטת בר-אילן (1974), תואר שני במדעי המחשב מאוניברסיטת תל אביב בהנחיית אמיר פנואלי (1976) ותואר דוקטור מ-MIT ‏ (1978). לאחר קבלת תואר דוקטור שהה שנתיים כפוסט-דוקטורט במרכז המחקר של IBM. בשנת 1984 נמנה עם מייסדיו של הסטארט אפ I-Logix, שנמכר בשנת 2006. פיתוח התוכנה Statemate בחברה זו זיכה את הראל, יחד עם שבעה מעמיתיו, בפרס ACM למערכת תוכנה לשנת 2007

בשנת 1980 הצטרף לסגל של מכון ויצמן למדע. בשנים 1989 - 1995 עמד בראש המחלקה למתמטיקה שימושית ומדעי המחשב, ובשנים 1998 - 2005 היה הדיקן של הפקולטה למתמטיקה ומדעי המחשב

ב-1987 פיתח הראל שפה גרפית לתיאור תהליכים, תוך שימוש בתרשימי מצבים המכונים Statecharts. בשנות ה-90 הפך פיתוח זה לחלק מתקן UML במסגרת הפרק המתאר דיאגרמות מצבים

בשנת 1990 הוענק להראל פרס יו"ר הכנסת על פעילות חינוכית בקרב הנוער. בשנת 2004 הוענק לו פרס ישראל למדעי המחשב (ארבע שנים לאחר שאביו זכה בפרס זה בתחום חקר הספרות הכללית). בשנת 2010 זכה בפרס א.מ.ת. כן קיבל פרסים בינלאומיים אחדים

בנוסף לפעילותו המדעית, מרבה הראל לעסוק בהבאת מדעי המחשב לציבור רחב יותר, במאמרים, בהרצאות ובספרים. בעקבות סדרת הרצאות שנתן בסוף 1984 במסגרת "האוניברסיטה המשודרת" של גלי צה"ל, יצא לאור, כמקובל בסדרה זו, הספר "פרקי יסוד במדעי המחשב" (1985). בעקבותיו יצאה לאור בשנת 1987 הרחבה ניכרת של ספר זה בשם Algorithmics: The Spirit of Computing, ובשנת 1989 יצאה לאור גרסה מעט פשוטה יותר בשם The Science of Computing: Exploring the Nature and Power of Algorithms. בשנת 1991 יצא לאור תרגום לעברית של ספר זה, בשם "אלגוריתמיקה: יסודות מדעי המחשב". י

ספרו Computers Ltd.: What They Really Can't Do, שיצא לאור בשנת 2000, תורגם לעברית ויצא לאור בשנת 2004 בשם "המחשב אינו כל-יכול"

בשנת 1971 נישא לוורדה, ולזוג נולדו ארבעה ילדים. מנישואיו השניים, למיכל, נולדה לו בת