Aller au contenu

David Harel

Un article de Wikipédia, l'encyclopédie libre.

David Harel (hébreu : דוד הראל ; né le ) est un informaticien, actuellement président de l'Académie israélienne des sciences et lettres. Il fait partie de la faculté de l'Institut Weizmann des sciences en Israël depuis 1980 et est titulaire de la chaire professorale de mathématiques William Sussman. Né à Londres, en Angleterre, il est doyen de la faculté de mathématiques et d'informatique de l'institut pendant sept ans.

Harel est surtout connu pour ses travaux sur la logique dynamique, la calculabilité, la théorie des bases de données, le génie logiciel et la modélisation des systèmes biologiques. Dans les années 1980, il invente le langage graphique des Statecharts pour spécifier et programmer des systèmes réactifs, qui est adopté dans le cadre de la norme UML. Depuis la fin des années 1990, il se concentre sur une approche basée sur des scénarios pour programmer de tels systèmes, lancée par sa co-invention (avec W. Damm) de Live Sequence Charts. Il publie des comptes rendus d'exposition sur l'informatique, tels que son livre primé de 1987 "Algorithmics: The Spirit of Computing" et son livre de 2000 "Computers Ltd.: What They Really Can't do", et présente des séries sur l'informatique pour radio et télévision israéliennes. Il travaille également sur d'autres sujets divers, tels que la disposition des graphes, l'enseignement de l'informatique, la modélisation biologique et l'analyse et la communication des odeurs.

Harel termine son doctorat au MIT entre 1976 et 1978. En 1987, il co-fonde la société de logiciels I-Logix, qui en 2006 devient une partie d'IBM. Il préconise la construction d'un modèle informatique complet du nématode Caenorhabditis elegans, qui est le premier organisme multicellulaire dont le génome est entièrement séquencé. L'exhaustivité éventuelle d'un tel modèle dépend de sa version mise à jour du test de Turing. Harel est actif dans un certain nombre d'organisations pour la paix et les droits de l'homme en Israël.

Récompenses

[modifier | modifier le code]

Références

[modifier | modifier le code]
  1. a et b David Harel – Award Winner, ACM. Retrieved 2 January 2015.
  2. « Israel Prize Official Site (in Hebrew) – Recipient's C.V. »
  3. « Israel Prize Official Site (in Hebrew) – Judges' Rationale for Grant to Recipient »
  4. Member profile, Academia Europaea. Retrieved 2 January 2015.
  5. Member profile, Israel Academy of Sciences and Humanities.
  6. Member profile, National Academy of Engineering. Retrieved 2 January 2015.
  7. Newly elected members, American Academy of Arts and Sciences, April 2014. Retrieved 2 January 2015.
  8. « 2019 NAS Election », National Academy of Sciences,
  9. « David Harel », Royal Society (consulté le )

Liens externes

[modifier | modifier le code]