David Harel

David Harel FRS
David Harel (derecha) con Carl Hewitt en FLoC 2006
Nacido	( 12 de abril de 1950 )12 de abril de 1950 (74 años) Londres, Inglaterra, Reino Unido
Nacionalidad	Israelí y británico
Premios	Premio al sistema de software de ACM Premio Israel
Carrera científica
Campos	Ciencias de la Computación
Instituciones	Instituto Weizmann
Tesis	Lógica de programas: axiomática y poder descriptivo  (1978)
Asesor de doctorado	Vaughan Pratt
Estudiantes de doctorado	David Peleg

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 en 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 ha adoptado 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, lanzado por su co-invención (con W. Damm) de Live Sequence Charts . Ha publicado relatos expositivos de ciencias de la computación, como su galardonado 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 completitud final 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.

• Premio Stevens de 1986 por métodos de desarrollo de software
• 1992 Premio ACM Karlstrom al Educador Destacado ^[1]
• Becario ACM 1994 ^[1]
• Miembro del IEEE 1995
• Premio Israel 2004 , de informática ^{[2] [3]}
• 2005 Doctor Honoris Causa, Universidad de Rennes, Francia
• Premio ACM SIGSOFT a la investigación destacada 2006
• 2006 Miembro de la Academia Europaea ^[4]
• 2006 Doctora (Laura) Honoris Causa, Universidad de Milano-Bicocca , 18 de mayo de 2006 ^[5]
• 2006 Miembro Honoris Causa, Universidad Abierta de Israel
• Premio al Sistema de Software ACM 2007 ^[1]
• Premio Emet 2010
• 2010 Miembro de la Academia Israelí de Ciencias y Humanidades ^[6]
• 2012 Doctor Honoris Causa, Universidad Tecnológica de Eindhoven, Países Bajos
• Miembro Internacional de la Academia Nacional de Ingeniería de EE. UU. 2014 ^[7]
• Miembro Honorario Internacional de la Academia Estadounidense de las Artes y las Ciencias 2014 ^[8]
• Miembro Internacional de la Academia Nacional de Ciencias de EE . UU. 2019. ^[9]
• Miembro de la Royal Society 2020 ^[10] (FRS)
• Miembro extranjero de la Academia de Ciencias de China 2021
• Premio Harlan D. Mills 2023 ^[11]

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

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