Wikipédia

David Harel

David Harel
Biographie
Naissance
Voir et modifier les données sur Wikidata (74 ans)
LondresVoir et modifier les données sur Wikidata
Nationalité
Formation
Activités
Autres informations
A travaillé pour
Institut Weizmann (depuis )Voir et modifier les données sur Wikidata
Membre de
Directeurs de thèse
Vaughan Pratt (en), Albert R. MeyerVoir et modifier les données sur Wikidata
Site web
Distinctions
Liste détaillée
Stevens Award (en) ()
Prix Israël ()
Prix ACM Software System ()
Prix EMET pour l'Art, la Science et la Culture (en) ()
Prix Harlan D. Mills ()
Membre de l'AAAS
ACM Fellow
Membre de l'Académie américaine des arts et des sciences
Membre de l'IEEEVoir et modifier les données sur Wikidata

modifier - modifier le code - modifier WikidataDocumentation du modèle

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.

Biographie modifier

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

Références modifier

  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

Ce document provient de « https://fr.wikipedia.org/w/index.php?title=David_Harel&oldid=206328877 ».