David Harel ( hebreo : דוד הראל ; nacido el 12 de abril de 1950) es un informático y actualmente se desempeña como presidente de la Academia de Ciencias y Humanidades de Israel . Ha estado en la facultad del Instituto Weizmann de Ciencias en Israel desde 1980 y ocupa la Cátedra de Matemáticas William Sussman. Nacido en Londres, Inglaterra, fue Decano de la Facultad de Matemáticas e Informática del instituto durante siete años.
Harel es mejor conocido por su trabajo sobre lógica dinámica , computabilidad , teoría de bases de datos , ingeniería de software y modelado de sistemas biológicos . En la década de 1980 inventó el lenguaje gráfico Statecharts para especificar y programar sistemas reactivos, que se adoptó como parte del estándar UML . Desde finales de la década de 1990 se ha concentrado en un enfoque basado en escenarios para programar tales sistemas, iniciado por su coinvención (con W. Damm) de Live Sequence Charts . Ha publicado relatos expositivos de ciencias de la computación, como su libro premiado de 1987 "Algorithmics: The Spirit of Computing" y su libro de 2000 "Computers Ltd.: What They Really Can't do", y ha presentado series sobre ciencias de la computación. para la radio y la televisión israelíes. También ha trabajado en otros temas diversos, como el diseño de gráficos , la educación en informática , el modelado biológico y el análisis y comunicación de olores .
Harel completó su doctorado en el MIT entre 1976 y 1978. En 1987, cofundó la empresa de software I-Logix , que en 2006 pasó a formar parte de IBM. Ha abogado por la construcción de un modelo informático completo del nematodo Caenorhabditis elegans , que fue el primer organismo multicelular en cuyo genoma se secuenció completamente. La eventual integridad de dicho modelo depende de su versión actualizada de la prueba de Turing . Es miembro de la ACM , el IEEE , la AAAS y la EATCS , y miembro de varias academias internacionales. Harel participa activamente en varias organizaciones de paz y derechos humanos en Israel.