Thomas Henzinger

Summary

Thomas Henzinger is a human^[1]. Born in Austria^[2], he… he was born on January 1, 1962^[3]. He worked as a computer scientist^[4], university teacher^[5], and researcher^[6]. He is known by 4 alternative names across languages and contexts.^[7]

Key Facts

• Thomas Henzinger's place of birth was Austria^[2].
• Born in Linz^[8], Thomas Henzinger…
• Thomas Henzinger was born on January 1, 1962^[3].
• Thomas Henzinger was born on December 8, 1962^[9].
• Thomas Henzinger was married to Monika Henzinger^[10].
• Thomas Henzinger held citizenship in Austria^[11].
• Thomas Henzinger's professions included computer scientist^[4].
• Thomas Henzinger worked as a university teacher^[5].
• Thomas Henzinger's professions included researcher^[6].
• Thomas Henzinger's field of work was software system^[12].
• Thomas Henzinger's field of work was formal verification^[13].
• Thomas Henzinger's field of work was quantum computing^[14].
• Thomas Henzinger's field of work was computer science^[15].
• Among Thomas Henzinger's employers was Cornell University^[16].
• Among Thomas Henzinger's employers was University of California, Berkeley^[17].
• Thomas Henzinger was employed by Swiss Federal Institute of Technology in Lausanne^[18].
• Thomas Henzinger was employed by Institute of Science and Technology Austria^[19].
• Thomas Henzinger's education included a stint at Stanford University^[20].
• Thomas Henzinger was educated at Johannes Kepler University Linz^[21].
• Thomas Henzinger's doctoral advisor was Zohar Manna^[22].
• Thomas Henzinger received the Wittgenstein-Prize^[23].
• Thomas Henzinger received the Milner Award and Lecture^[24].
• Thomas Henzinger received the honorary doctorate of the Masaryk University^[25].
• Thomas Henzinger received the ACM Fellow^[26].
• Thomas Henzinger received the Fellow of the American Association for the Advancement of Science^[27].

Body

Origins and Family

Recorded place of birth include Austria^[2], a sovereign state^[28], in Austria^[29], founded in 1918^[30] and Linz^[8], a statutory city of Austria^[31], in Austria^[32]. Recorded date of birth include January 1, 1962^[3] and December 8, 1962^[9].

Education

Educated at Stanford University^[20], a private university^[33], in United States^[34], founded in 1885^[35], headquartered in Stanford^[36] and Johannes Kepler University Linz^[21], a campus university^[37], in Austria^[38], founded in 1966^[39]. Thomas Henzinger's doctoral advisor was Zohar Manna^[22].

Career and Affiliations

Recorded occupations include computer scientist^[4], university teacher^[5], and researcher^[6]. Fields of work include software system^[12], a type of system^[40]; formal verification^[13]; quantum computing^[14], an academic discipline^[41]; and computer science^[15], an academic discipline^[42]. Employers include Cornell University^[16], a private university^[43], in United States^[44], founded in 1865^[45], headquartered in Ithaca^[46]; University of California, Berkeley^[17], a public research university^[47], in United States^[48], founded in 1868^[49], headquartered in Berkeley^[50]; Swiss Federal Institute of Technology in Lausanne^[18], a public university^[51], in Switzerland^[52], founded in 1969^[53]; and Institute of Science and Technology Austria^[19], a research institute^[54], in Austria^[55], founded in 2007^[56]. Doctoral students include Krishnendu Chatterjee^[57], Shaz Qadeer^[58], Sriram K. Rajamani^[59], Freddy Y.C. Mang^[60], Rupak Majumdar^[61], and Pei-Hsin Ho^[62].

Recognition

Awards received include Wittgenstein-Prize^[23], an award^[63], in Austria^[64], founded in 1996^[65]; Milner Award and Lecture^[24], a science award^[66]; honorary doctorate of the Masaryk University^[25], an award^[67], in Czech Republic^[68]; ACM Fellow^[26], a fellowship award^[69]; Fellow of the American Association for the Advancement of Science^[27], a fellowship award^[70], in United States^[71], founded in 1874^[72]; and honorary doctorate from Joseph Fourier University^[73], an award^[74], in France^[75].

Personal Life

Among Thomas Henzinger's spouses was Monika Henzinger^[10].

Why It Matters

Thomas Henzinger is known by 4 alternative names across languages and contexts.^[7]

His notable doctoral advisees include Shaz Qadeer^[76], a computer scientist^[77], awarded the ACM Fellow^[78]; Sriram K. Rajamani^[79], a computer scientist^[80], b. 1970^[81], awarded the ACM Fellow^[82]; Freddy Y.C. Mang^[83], a computer scientist^[84]; Rupak Majumdar^[85], a computer scientist^[86], b. 1975^[87], specialised in computer science^[88]; Ranjit Jhala^[89], a computer scientist^[90], awarded the ACM Fellow^[91]; and Arindam Chakrabarti^[92], a computer scientist^[93].

FAQs

Where was Thomas Henzinger born?

Born in Austria^[2], Thomas Henzinger…

Who was Thomas Henzinger married to?

Thomas Henzinger's spouses include Monika Henzinger^[10].

What did Thomas Henzinger do for work?

Thomas Henzinger worked as computer scientist^[4], university teacher^[5], and researcher^[6].

Where did Thomas Henzinger go to school?

Thomas Henzinger was educated at Stanford University^[20] and Johannes Kepler University Linz^[21].

What awards did Thomas Henzinger receive?

Honors received include Wittgenstein-Prize^[23], Milner Award and Lecture^[24], honorary doctorate of the Masaryk University^[25], and ACM Fellow^[26].