stringtranslate.com

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.

Biografía

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 ha sido adoptado 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, 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 la 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.

Premios y honores

Diagrama que muestra cómo los diagramas de estados de Harel contribuyeron a los métodos y la notación orientados a objetos

Véase también

Referencias

  1. ^ abc David Harel – Ganador del premio ACM. Consultado el 2 de enero de 2015.
  2. ^ "Sitio oficial del Premio Israel (en hebreo) – CV del ganador"
  3. ^ "Sitio oficial del Premio Israel (en hebreo) – Justificación de los jueces para la concesión al destinatario".
  4. ^ Perfil de miembro, Academia Europaea. Consultado el 2 de enero de 2015.
  5. ^ "Lauree honoris causa" (en italiano). 13 de diciembre de 2016. Consultado el 2 de abril de 2018 .
  6. ^ Perfil de miembro Archivado el 16 de diciembre de 2015 en Wayback Machine , Academia de Ciencias y Humanidades de Israel.
  7. ^ Perfil de miembro, Academia Nacional de Ingeniería. Consultado el 2 de enero de 2015.
  8. ^ Miembros recién elegidos, Academia Estadounidense de las Artes y las Ciencias, abril de 2014. Consultado el 2 de enero de 2015.
  9. ^ "Elecciones NAS 2019". Academia Nacional de Ciencias. 30 de abril de 2019.
  10. ^ "David Harel". Royal Society . Consultado el 19 de septiembre de 2020 .
  11. ^ "David Harel: destinatario del premio". IEEE Computer Society . 23 de enero de 2023 . Consultado el 27 de febrero de 2023 .

Enlaces externos