Thomas Henzinger (nacido en 1962) es un científico informático , investigador y ex presidente del Instituto de Ciencia y Tecnología de Austria .
Henzinger nació en Austria. Recibió su licenciatura en Ciencias de la Computación de la Universidad Johannes Kepler de Linz y su doctorado de la Universidad de Stanford en 1991, [1] asesorado por Zohar Manna . Está casado con Monika Henzinger y tiene tres hijos.
Henzinger fue sucesivamente profesor asistente de Ciencias de la Computación en la Universidad de Cornell (1992-95) y profesor asistente (1996-97), profesor asociado (1997-98), profesor (1998-2004) y profesor adjunto (hasta 2011) [2] de Ingeniería Eléctrica y Ciencias de la Computación en la Universidad de California, Berkeley . También fue director del Instituto Max Planck de Ciencias de la Computación en Saarbrücken , Alemania en 1999 y profesor de Ciencias de la Computación y la Comunicación en EPFL (el Instituto Federal Suizo de Tecnología en Lausana), Suiza de 2004 a 2009. [3] Hasta 2022, fue presidente del Instituto de Ciencia y Tecnología de Austria (ISTA). [1]
Su investigación se centra en la teoría de sistemas modernos, en particular en los modelos, algoritmos y herramientas para el diseño y verificación de software, hardware y sistemas embebidos fiables. Su herramienta HyTech fue el primer verificador de modelos para sistemas mixtos discretos y continuos . [3]
Para obtener más información sobre su influyente trabajo y sus contribuciones académicas, su perfil de Google Scholar [4] proporciona una lista completa de sus publicaciones, y su linaje académico se puede explorar en la página del Proyecto de Genealogía Matemática. [5]
El profesor Henzinger es miembro de la Academia Nacional de Ciencias de Estados Unidos , la Academia Estadounidense de Artes y Ciencias , la Academia Europaea , la Academia Alemana de Ciencias (Leopoldina) y la Academia Austriaca de Ciencias . [7] Recibió un Doctorado honoris causa de la Universidad Fourier en Grenoble y de la Universidad Masaryk en Brno. [7] También es miembro de la AAAS , la ACM y el IEEE . Ha recibido el Premio Robin Milner 2015 de la Royal Society, [3] el Premio EATCS de la Asociación Europea de Ciencias de la Computación Teórica y el Premio Wittgenstein del Fondo Austriaco de Ciencias . Fue reconocido como Investigador Altamente Citado del ISI en 2001 y está clasificado como el investigador más citado en Austria [8] según los datos del índice h . [9]
{{cite web}}: CS1 maint: estado de la URL ( enlace )