Reinhard Wilhelm (nacido el 5 de junio de 1946) es un científico informático alemán.
Wilhelm nació en Deutmecke , hoy parte del municipio de Finnentrop , 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 la Universidad de Stanford . Terminó su doctorado en la TU Munich 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 ha ocupado el puesto de director científico del Centro Leibniz de Informática en Schloss Dagstuhl desde su creación en 1990 hasta 2014. Hoy es profesor emérito de 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 promover la investigación sobre lenguajes de programación y sistemas de programación. [1] En 1998, fundó AbsInt , una empresa de investigación que ofrece herramientas de garantía de calidad del 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 integrados 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 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, 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 interprocedimental. Inventó un popular análisis de formas basado en lógica de tres valores junto con Mooly Sagiv y Tom Reps .
Wilhelm es coautor del libro Compiler Construction , que enseña compiladores no sólo para lenguajes imperativos, sino también para lenguajes orientados a objetos, funcionales y lógicos, y hace hincapié en los fundamentos teóricos. Está disponible también 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 francés 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 se le concedió 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, fue galardonado con 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 del 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 de la ACM . [9] En 2013 fue aceptado 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 de tiempo de ejecución. [10] En 2020, el Comité Técnico IEEE sobre Sistemas en Tiempo Real le otorgó su Premio al Logro Técnico Sobresaliente y al Liderazgo. [11] En 2021, recibió el Premio Test-of-Time del Comité Técnico IEEE sobre Sistemas en Tiempo Real (TCRTS) por el artículo "La influencia de la arquitectura del procesador en el diseño y los resultados de las herramientas WCET". [12]