David Harel (en hebreo : דוד הראל ; nacido el 12 de abril de 1950) es un científico informático en el Instituto de Ciencias Weizmann en Israel 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. Actualmente también se desempeña como vicepresidente de la Academia de Ciencias y Humanidades de Israel .
David Harel FRS | |
---|---|
Nació | Londres, inglaterra, reino unido | 12 de abril de 1950
Nacionalidad | Israelí y británico |
Premios | |
Carrera científica | |
Campos | Ciencias de la Computación |
Instituciones | Instituto Weizmann |
Biografía
Harel es mejor 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 la informática, 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 informática para Radio y 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 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 tener su genoma completamente secuenciado. La eventual integridad de dicho modelo depende de su versión actualizada de la prueba de Turing .
Es miembro de ACM , IEEE , AAAS y EATCS .
En 2014, Harel fue elegido miembro de la Academia Nacional de Ingeniería por la invención de gráficos estatales y contribuciones a la lógica de la programación.
Harel participa activamente en varias organizaciones de paz y derechos humanos en Israel.
Premios y honores
- Premio Stevens 1986 por métodos de desarrollo de software
- Premio al Educador Destacado de ACM Karlstrom 1992 [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 a la investigación destacada ACM SIGSOFT 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 2007 ACM Software System [1]
- Premio Emet 2010
- 2010 Miembro de la Academia de Ciencias y Humanidades de Israel [6]
- 2012 Doctor Honoris Causa, Universidad Tecnológica de Eindhoven, Países Bajos
- 2014 Asociado extranjero de la Academia Nacional de Ingeniería de EE. UU. [7]
- 2014 Miembro honorario extranjero de la Academia Estadounidense de Artes y Ciencias [8]
- 2019 Asociado extranjero de la Academia Nacional de Ciencias de EE. UU . [9]
- 2020 elegido miembro de la Royal Society [10]
Ver también
- Lista de ganadores del premio de Israel
- Miembros de la Academia de Ciencias y Humanidades de Israel
Referencias
- ^ a b c David Harel - Ganador del premio , ACM. Consultado el 2 de enero de 2015.
- ^ "Sitio oficial del Premio Israel (en hebreo) - CV del destinatario"
- ^ "Sitio oficial del premio de Israel (en hebreo) - Justificación de los jueces para la concesión al destinatario" .
- ^ Perfil de miembro , Academia Europaea. Consultado el 2 de enero de 2015.
- ^ "Lauree honoris causa" (en italiano). 13 de diciembre de 2016 . Consultado el 2 de abril de 2018 .
- ^ Perfil de miembro , Academia de Ciencias y Humanidades de Israel.
- ^ Perfil de miembro , Academia Nacional de Ingeniería. Consultado el 2 de enero de 2015.
- ^ Miembros recién elegidos , Academia Estadounidense de Artes y Ciencias, abril de 2014. Consultado el 2 de enero de 2015.
- ^ "Elección NAS 2019" . Academia Nacional de Ciencias. 30 de abril de 2019.
- ^ "David Harel" . Royal Society . Consultado el 19 de septiembre de 2020 .
enlaces externos
- Página de inicio de David Harel en el Instituto de Ciencias Weizmann.
- Página de David Harel en la Academia de Ciencias y Humanidades de Israel.