| Nacimiento |
1962 o 8 de diciembre de 1962 Austria o Linz |
|---|---|
| Nacionalidad | austriaco |
| Capacitación |
Universidad de Stanford Universidad de Linz |
| Ocupaciones | Científico de la computación , profesor universitario |
| Trabajé para | Universidad de Cornell , Universidad de California en Berkeley , Instituto Federal Suizo de Tecnología Lausana |
|---|---|
| Miembro de |
Academia Léopoldine Academia Americana de Artes y Ciencias Academia Europaea (2006) Academia Estadounidense de Ciencias (2020) |
| Premios |
Thomas Henzinger (nacido el8 de diciembre de 1962) es un informático austriaco especializado en el campo de los métodos formales .
Después de graduarse en Informática Ingeniería de la Universidad de Kepler en Linz , Austria y un M.Sc. en Informática y Ciencias de la Información por la Universidad de Delaware, se convirtió en un estudiante de doctorado en la Universidad de Stanford. , En California en el Estados Unidos , donde se graduó en 1991 . Profesor asistente en la Universidad de Cornell de 1992 a 1995 , también fue director del Instituto Max-Planck de Informática en 1999 en Saarbrücken , Alemania , luego profesor en la Universidad de Berkeley hasta 2004 . Desde 2004 es profesor en el departamento de informática de la Escuela Politécnica Federal de Lausana (EPFL) . Fue elegido miembro del IEEE de1 st de enero de de 2006. En 2012, recibió el título de doctor honoris causa de la Universidad Joseph-Fourier - Grenoble 1 .
Recibió el premio EATCS en 2019.
Sus áreas de especialización son la teoría de sistemas modernos, en particular los formalismos y herramientas para el diseño jerárquico y modular, así como la implementación y verificación de sistemas integrados , en tiempo real e híbridos. Su herramienta HyTech es el primer verificador de modelos para sistemas mixtos discretos-continuos. También es el creador de BLAST (Berkeley Lazy Abstraction Software Verification Tool) , una herramienta para verificar los controladores de hardware adquiridos por Microsoft .