De Wikipedia, la enciclopedia libre
Ir a navegaciónSaltar a buscar
Reinhard Wilhelm
Reinhard Wilhelm.jpg
Reinhard Wilhelm, 2014
Nació (1946-06-05) 5 de junio de 1946 (75 años)
Finnentrop , Alemania
alma materUniversidad de Münster ,
Universidad de Stanford ,
Universidad Técnica de Munich
Conocido portecnología del compilador
PremiosMedalla Konrad Zuse (2009)
Merit Cross on Ribbon (2010)
Premio al Servicio Distinguido ACM (2011)
Carrera científica
Los camposCientífico de la computación
InstitucionesUniversidad de Saarland

Reinhard Wilhelm (nacido el 5 de junio de 1946) es un informático alemán.

Vida y obra

Wilhelm nació en Deutmecke  [ de ] , hoy parte del municipio de Finnentrop , Westfalia . Estudió matemáticas, física y lógica matemática en la Universidad de Münster y ciencias de la computación en la Universidad Técnica de Munich y la Universidad de Stanford . Terminó su doctorado en TU Munich en 1977. En 1978, obtuvo una cátedra en la Universidad de Saarland , donde dirigió la cátedra de lenguajes de programación y construcción de compiladores hasta su retiro en 2014. Además, Wilhelm ha ocupado el cargo de director científico el Centro Leibniz de Informática en Schloss Dagstuhl desde sus inicios en 1990 hasta 2014. Hoy es profesor emérito en la Universidad de Saarland.

Wilhelm es uno de los cofundadores del Simposio Europeo de Programación (ESOP) y las Conferencias Conjuntas Europeas sobre Teoría y Práctica del Software (ETAPS). La Asociación Europea de Lenguajes de Programación (EAPLS) vuelve a su idea de fundar una organización para avanzar en la investigación sobre lenguajes de programación y sistemas de programación. [1] En 1998, fundó AbsInt , una empresa derivada de la investigación que ofrece software para la verificación de propiedades críticas en el tiempo de los sistemas integrados, que se utiliza, por ejemplo, para la certificación de los sistemas críticos en el tiempo dentro del Airbus A380 . [2]

La investigación de Wilhelm se centra en lenguajes de programación, construcción de compiladores, análisis de programas estáticos y sistemas integrados en tiempo real, pero también incluye animación y visualización de algoritmos y estructuras de datos. Wilhelm descubrió conexiones entre la selección de código y la teoría de los autómatas de árbol regulares, que es relevante para la generación de código utilizando autómatas de árbol. Es uno de los co-desarrolladores de los generadores de compiladores MUG1, MUG2 y OPTRAN, que se basan en gramáticas de atributos . Junto con Ulrich Möncke, propuso el análisis de flujo gramatical como una generalización del análisis de flujo de datos entre procedimientos . Inventó un análisis de formas popular basado en la lógica de tres valores junto con Mooly Sagiv y Tom Reps .

Wilhelm es coautor del libro Compiler Construction , que enseña a compiladores no solo para lenguajes imperativos, sino también para lenguajes orientados a objetos, funcionales y lógicos y enfatiza la base teórica. También está disponible en alemán y francés.

Wilhelm se convirtió en miembro de la ACM en 2000 por su investigación sobre la construcción de compiladores y el análisis de programas y su trabajo como director científico de la LZI. [3] La TU Darmstadt y el Fraunhofer-Institut für Graphische Datenverarbeitung  [ de ] le concedieron la medalla Alwin-Walther en 2006. En 2007, el Ministerio de Educación e Investigación francés le concedió el premio Gay-Lussac-Humboldt por sus contribuciones a la ciencia y sus logros en la cooperación franco-alemana en investigación y educación. [4] Se convirtió en miembro de la academia europea de ciencias ( Academia Europaea ) en 2008.[5] En octubre del mismo año se le concedió un doctorado honoris causa de la RWTH Aachen . [6] En diciembre, obtuvo un título honorífico de la Universidad de Tartu . [7] En septiembre de 2009, recibió la Medalla Konrad Zuse por sus logros en investigación y educación con respecto a la construcción de compiladores, análisis de programas en tiempo real y su servicio como director científico de LZI / Schloss Dagstuhl. [8] En 2010 fue galardonado con la Cruz de la Orden del Mérito de la República Federal de Alemania y el Premio al Servicio Distinguido ACM . [9]Recibió el premio Test-of-Time en la conferencia internacional ESWEEK 2019 por el impacto a largo plazo de su investigación en los plazos de ejecución. [10] En 2020, el Comité Técnico de Sistemas en Tiempo Real de IEEE le otorgó su Premio al Liderazgo y Logros Técnicos Sobresalientes. [11]

Lista de libros

  • Jacques Loeckx, Kurt Mehlhorn, Reinhard Wilhelm: Fundamentos de los lenguajes de programación 1989
  • Reinhard Wilhelm: Informática - 10 años atrás. 10 años por delante. Springer 2001
  • Reinhard Wilhelm, Helmut Seidl: Diseño del compilador: máquinas virtuales , Springer 2011
  • Helmut Seidl, Reinhard Wilhelm, Sebastian Hack: Diseño del compilador: análisis y transformación , Springer 2011
  • Helmut Seidl, Reinhard Wilhelm, Sebastian Hack: Diseño del compilador: Análisis sintáctico y semántico , Springer 2011
  • Reinhard Wilhelm: Einsichten eines Informatikers von geringem Verstande - Glossen aus dem Informatik Spektrum. Springer Fachmedien, Wiesbaden 2020, ISBN  978-3-658-28385-8 .

Literatura

  • Thomas Reps , Mooly Sagiv, Jörg Bauer: una apreciación del trabajo de Reinhard Wilhelm . Análisis y compilación de programas, teoría y práctica (Springer, 2007), Lecture Notes in Computer Science Volumen 4444.

Referencias

  1. ^ "EAPLS: ¿Qué es EAPLS?" .
  2. ^ "AbsInt-Firmenprofil" .
  3. ^ "Acerca de los becarios de ACM" . awards.acm.org . Consultado el 14 de noviembre de 2019 .
  4. ^ https://web.archive.org/web/20090321212025/http://www.uni-saarland.de/de/medien/2007/01/1170067449
  5. ^ "Zwei Saarbrücker Informatiker en Academia Europaea aufgenommen" .
  6. ^ "UNIVERSIDAD RWTH AACHEN - Rheinisch-Westfaelische Technische Hochschule - Inglés" .
  7. ^ "89 aniversario de la UT como universidad de lengua estonia" . Diciembre de 2008.
  8. ^ "Reinhard Wilhelm aus Saarbrücken erhält Konrad-Zuse-Medaille - Höchste Informatik-Auszeichnung wird en Lübeck verliehen" . idw-online.de . Consultado el 14 de noviembre de 2019 .
  9. ^ "Copia archivada" . Archivado desde el original el 2 de abril de 2012 . Consultado el 29 de septiembre de 2011 .CS1 maint: archived copy as title (link)
  10. ^ Zeitung, Saarbrücker (21 de octubre de 2019). "Saar-Universität: Internationaler Preis für Informatiker" . Saarbrücker Zeitung . Consultado el 14 de noviembre de 2019 .
  11. ^ "Premio al liderazgo y logros técnicos excepcionales de TCRTS 2020 | IEEE TCRTS" .

Enlaces externos

  • Página de inicio de Reinhard Wilhelm
  • Charla de la escuela de verano de Reinhard Wilhelm sobre análisis en tiempo real
  • Reinhard Wilhelm en el servidor de bibliografía DBLP
  • Entrada en el Proyecto de genealogía matemática