Il est né en décembre 1962[1]. Après avoir obtenu son diplôme d'ingénieur en informatique de l'université Kepler de Linz, en Autriche et un M.Sc. en informatique et sciences de l'information de l'Université du Delaware, il devient doctorant à l'université de Stanford, en Californie aux États-Unis[2], dont il est diplômé en 1991.
Il a mis au point des méthodes pour détecter les bogues et les erreurs dans les programmes informatiques. Il a travaillé sur ce sujet à l'université de Californie à Berkeley. Il a également co-développé un langage informatique qui élimine les sources d'erreurs de synchronisation, déterminantes dans la fiabilité des systèmes de navigation des avions, par exemple : « si un système se bloque à un moment critique du contrôle du vol, cela peut être un désastre »[2].
↑ ab et c(en) Karan Kaplan, « Thomas Henzinger, president, Institute of Science and Technology Austria, Klosterneuburg, Austria », Nature, vol. 457, no 7230, , p. 752 (DOI10.1038/nj7230-752a)
↑Karen Kaplan. Thomas Henzinger, president, Institute of Science and Technology Austria, Klosterneuburg, Austria. Nature 2009;457:752. Lire en ligne