Reinhard Wilhelm

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

Wilhelm nació en Deutmecke , actualmente parte del municipio de Finnentrop , en Westfalia . Estudió matemáticas, física y lógica matemática en la Universidad de Münster , e informática en la Universidad Técnica de Múnich y en la Universidad de Stanford . Se doctoró en la Universidad Técnica de Múnich en 1977. En 1978, obtuvo una cátedra en la Universidad del Sarre , donde dirigió la cátedra de lenguajes de programación y construcción de compiladores hasta su jubilación en 2014. Además, Wilhelm fue director científico del Centro Leibniz de Informática en Schloss Dagstuhl desde su creación en 1990 hasta 2014. Actualmente es profesor emérito en la Universidad del Sarre.

Wilhelm es uno de los cofundadores del Simposio Europeo de Programación (ESOP) y de las Conferencias Conjuntas Europeas sobre Teoría y Práctica del Software (ETAPS). La Asociación Europea de Lenguajes de Programación (EAPLS) retoma su idea de fundar una organización para impulsar la investigación sobre lenguajes y sistemas de programación. ^{[ 1 ]} En 1998, fundó AbsInt , una empresa derivada de investigación que ofrece herramientas de garantía de calidad de software basadas en la interpretación abstracta , entre ellas herramientas para la verificación de requisitos en tiempo real, utilizadas, por ejemplo, para la certificación de los sistemas embebidos críticos en el tiempo del Airbus A380 . ^{[ 2 ]}

La investigación de Wilhelm se centra en lenguajes de programación, construcción de compiladores, análisis estático de programas y sistemas embebidos 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 autómatas de árbol regulares, lo cual es relevante para la generación de código mediante autómatas de árbol. Es uno de los codesarrolladores 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 de gramáticas como una generalización del análisis de flujo de datos interprocedimental. Inventó un popular análisis de formas basado en lógica trivalente junto con Mooly Sagiv y Tom Reps .

Wilhelm es coautor del libro «Construcción de compiladores» , que enseña sobre compiladores no solo para lenguajes imperativos, sino también para lenguajes orientados a objetos, funcionales y lógicos, haciendo hincapié en los fundamentos teóricos. 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 del LZI. ^{[ 3 ]} La TU Darmstadt y el Fraunhofer-Institut für Graphische Datenverarbeitung le otorgaron la medalla Alwin-Walther en 2006. En 2007, el Ministerio de Educación e Investigación de Francia le otorgó 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, recibió un doctorado honoris causa de la RWTH Aachen . ^{[ 6 ]} En diciembre, obtuvo un título honoris causa 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, el análisis en tiempo real de programas y su servicio como director científico del LZI/Schloss Dagstuhl. ^{[ 8 ]} En 2010 recibió la Cruz de la Orden del Mérito de la República Federal de Alemania y el Premio al Servicio Distinguido de la ACM . ^{[ 9 ]} En 2013 fue admitido en la Academia Nacional Alemana Leopoldina. Recibió el premio Test-of-Time en la conferencia internacional ESWEEK 2019 por el impacto a largo plazo de su investigación sobre los límites del tiempo de ejecución. ^{[ 10 ]} En 2020, el Comité Técnico de Sistemas en Tiempo Real del IEEE le otorgó su Premio al Logro Técnico Sobresaliente y al Liderazgo. ^{[ 11 ]} En 2021, recibió el premio Test-of-Time Award del Comité Técnico de Sistemas en Tiempo Real (TCRTS) del IEEE por el artículo "La influencia de la arquitectura del procesador en el diseño y los resultados de las herramientas WCET". ^{[ 12 ]} Recibió el premio ACM SIGBED Technical Achievement Award 2025 "por su trabajo fundamental y transformador en el análisis del tiempo de ejecución en el peor de los casos (WCET), la predictibilidad de la temporización y el análisis estático de programas en sistemas embebidos y ciberfísicos". ^{[ 13 ]}

• 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 adelante. Springer, 2001.
• Reinhard Wilhelm, Helmut Seidl: Diseño del compilador: máquinas virtuales , Springer 2011
• Helmut Seidl, Reinhard Wilhelm, Sebastian Hack: Diseño de compiladores: análisis y transformación , Springer 2011
• Helmut Seidl, Reinhard Wilhelm, Sebastian Hack: Diseño de compiladores: 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.
• Reinhard Wilhelm: Von Autopiloten, Taliban und dem Friedrichstadtpalast: Neue Einsichten eines Informatikers von geringem Verstande. Publicado de forma independiente en 2022, ISBN 979-8820142680.

• 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.

• Página principal de Reinhard Wilhelm
• Charla de Reinhard Wilhelm en la escuela de verano sobre análisis en tiempo real.
• Reinhard Wilhelm en el servidor de bibliografía DBLP
• Participación en el Proyecto de Genealogía Matemática