David Harel

David Harel (hebreo: דוד הראל; nacido el 12 de abril de 1950) es un científico informático que actualmente se desempeña como presidente de la Academia de Ciencias y Humanidades de Israel. Forma parte del cuerpo docente del Instituto de Ciencias Weizmann de 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 y Ciencias de la Computación del instituto durante siete años.

Harel es más 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 de Statecharts para especificar y programar sistemas reactivos, que se adoptó como parte del estándar UML. Desde fines de la década de 1990 se ha concentrado en un enfoque basado en escenarios para programar tales sistemas, iniciado por su co-invención (con W. Damm) de Live Sequence Charts. Ha publicado relatos expositivos sobre ciencias de la computación, como su premiado libro 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 ciencias de la computación, 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 cuyo genoma fue secuenciado por completo. La finalización de dicho modelo depende de su versión actualizada del test de Turing. Es miembro de la ACM, la IEEE, la AAAS y la EATCS, y de varias academias internacionales. Harel participa activamente en varias organizaciones por la paz y los derechos humanos en Israel.

• 1986 Premio Stevens para los métodos de desarrollo de software
• 1992 ACM Premio Karlstrom Educator destacado
• 1994 ACM Fellow
• 1995 IEEE Fellow
• 2004 Premio Israel, por la ciencia informática
• 2005 Doctor Honoris Causa, Universidad de Rennes, Francia
• 2006 ACM SIGSOFT Premio de Investigación destacado
• 2006 Miembro de la Academia Europaea
• 2006 Doctor (Laura) Honoris Causa, Universidad de Milano-Bicocca, 18 de mayo de 2006
• 2006 Fellow Honoris Causa, Universidad Abierta de Israel
• 2007 ACM Premio al Sistema de Software
• 2010 Premio Emet
• 2010 Miembro de la Academia de Ciencias y Humanidades de Israel
• 2012 Doctor Honoris Causa, Eindhoven University of Technology, Países Bajos
• 2014 Miembro de la Academia Nacional de Ingeniería de EE.UU.
• 2014 Miembro Honorario Internacional de la Academia Americana de Artes y Ciencias
• 2019 Miembro de la Academia Nacional de Ciencias de Estados Unidos.
• 2020 Fellow of the Royal Society (FRS)
• 2021 Miembro de la Academia China de Ciencias
• 2023 Premio Harlan D. Mills

• Lista de receptores del Premio Israel
• Miembros de la Academia de Ciencias y Humanidades de Israel

• La página principal de David Harel en el Instituto de Ciencias Weizmann.
• David Harel Archivado 16 de diciembre de 2015 en la página de Wayback Machine en la Academia de Ciencias y Humanidades de Israel.