Thomas Henzinger (nacido en 1962) es un austríaco científico de la computación , investigador y presidente del Instituto de Ciencia y Tecnología, Austria .
Thomas Henzinger | |
---|---|
Nació | |
Nacionalidad | austriaco |
Conocido por | diseño y verificación de software, hardware y sistemas integrados |
Premios | Miembro de NAS (2020) Miembro de IEEE Miembro, Academia de Ciencias Miembro de Leopoldina , Miembro de la Academia de Ciencias de Austria , Academia Europaea |
Carrera científica | |
Campos | Ciencias de la Computación |
Instituciones | Instituto de Ciencia y Tecnología , Austria |
Vida y carrera
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.
Fue sucesivamente profesor asistente de informática en la Universidad de Cornell (1992-1995) y profesor asistente (1996-1997), profesor asociado (1997-1998), 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] Actualmente es el presidente del Instituto de Ciencia y Tecnología de Austria . [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 integrados confiables. Su herramienta HyTech fue el primer verificador de modelos para sistemas mixtos discretos-continuos . [3]
Es miembro de la Academia de Ciencias Leopoldina , la Academia de Ciencias de Austria , la Academia Europaea y el Instituto de Ingenieros Eléctricos y Electrónicos .
Fue galardonado con el premio Milner 2015 de la Royal Society . [3] Recibió un Doctor honoris causa de la Universidad de Masaryk , así como el Premio Wittgenstein del Fondo de Ciencias de Austria . Es miembro de ACM e investigador altamente citado de ISI . Está clasificado como el investigador número uno citado en Austria [4] según los datos del índice h . [5]
Referencias
- ↑ a b Kaplan, Karan (4 de febrero de 2009). "Thomas Henzinger, presidente, Instituto de Ciencia y Tecnología de Austria, Klosterneuburg, Austria". Naturaleza . 457 (7230): 752. doi : 10.1038 / nj7230-752a .
- ^ "Thomas A. Henzinger, profesor adjunto, EECS, Universidad de California Berkeley, Estados Unidos" .
- ^ a b c "Premio Milner de la Royal Society" . Royal Society . Consultado el 19 de noviembre de 2015 .
- ^ "Perfil de Thomas Henzinger" . Guía 2 Investigación . Consultado el 13 de septiembre de 2018 .
- ^ "Perfil académico de Google de Thomas Henzinger" .
enlaces externos
- Archivo de la página en EPFL
- Página de inicio en el Departamento de EECS de Berkeley
- Página en IST Austria
- Página en la Academia de Ciencias de Austria