Thomas Henzinger (born 1962) is an

Austrian Austrian may refer to: * Austrians, someone from Austria or of Austrian descent ** Someone who is considered an Austrian citizen, see Austrian nationality law * Austrian German dialect * Something associated with the country Austria, for example: ...

computer scientist A computer scientist is a person who is trained in the academic study of computer science. Computer scientists typically work on the theoretical side of computation, as opposed to the hardware side on which computer engineers mainly focus (al ...

, researcher, and president of the Institute of Science and Technology,

Austria Austria, , bar, Östareich officially the Republic of Austria, is a country in the southern part of Central Europe, lying in the Eastern Alps. It is a federation of nine states, one of which is the capital, Vienna, the most populous ...

Life and career

Henzinger was born in Austria. He received his bachelor's degree in computer science from

Johannes Kepler University Linz The Johannes Kepler University Linz (German: ''Johannes Kepler Universität Linz'', short: ''JKU'') is a public institution of higher education in Austria. It is located in Linz, the capital of Upper Austria. It offers bachelor's, master's, d ...

, and his PhD from

Stanford University Stanford University, officially Leland Stanford Junior University, is a private research university in Stanford, California. The campus occupies , among the largest in the United States, and enrolls over 17,000 students. Stanford is consider ...

in 1991, advised by

Zohar Manna Zohar Manna (1939 – 30 August 2018) was an Israeli-American computer scientist who was a professor of computer science at Stanford University. Biography He was born in Haifa, Israel. He earned his Bachelor of Science (BS) and Master of Scienc ...

. He is married to

Monika Henzinger Monika Henzinger (born as Monika Rauch, 17 April 1966 in Weiden in der Oberpfalz) is a German computer scientist, and is a former director of research at Google. She is currently a professor at the University of Vienna. Her expertise is mainly o ...

and has three children. He was successively Assistant Professor of Computer Science at

Cornell University Cornell University is a private statutory land-grant research university based in Ithaca, New York. It is a member of the Ivy League. Founded in 1865 by Ezra Cornell and Andrew Dickson White, Cornell was founded with the intention to teach an ...

(1992–95) and Assistant Professor (1996–97), Associate Professor (1997–98), Professor (1998–2004) and Adjunct Professor (till 2011) of Electrical Engineering and Computer Sciences at the

University of California, Berkeley The University of California, Berkeley (UC Berkeley, Berkeley, Cal, or California) is a public land-grant research university in Berkeley, California. Established in 1868 as the University of California, it is the state's first land-grant u ...

. He was also director of the

Max Planck Institute Max or MAX may refer to: Animals * Max (dog) (1983–2013), at one time purported to be the world's oldest living dog * Max (English Springer Spaniel), the first pet dog to win the PDSA Order of Merit (animal equivalent of OBE) * Max (gorilla) (1 ...

of Computer Science in

Saarbrücken Saarbrücken (; french: link=no, Sarrebruck ; Rhine Franconian: ''Saarbrigge'' ; lb, Saarbrécken ; lat, Saravipons, lit=The Bridge(s) across the Saar river) is the capital and largest city of the state of Saarland, Germany. Saarbrücken is S ...

, Germany in 1999 and Professor of Computer and Communication Sciences at EPFL (the Swiss Federal Institute of Technology in Lausanne), Switzerland from 2004 to 2009. He is currently the president of the

Institute of Science and Technology Austria The Institute of Science and Technology Austria (ISTA) is an international research institute in natural and mathematical sciences, located in Maria Gugging, Klosterneuburg, 20 km northwest of the Austrian capital of Vienna. It was establish ...

(ISTA). His research is concerned with modern systems theory, particularly on the models, algorithms, and tools for the design and verification of reliable software, hardware, and embedded systems. His HyTech tool was the first

model checker In computer science, model checking or property checking is a method for checking whether a finite-state model of a system meets a given specification (also known as correctness). This is typically associated with hardware or software system ...

for mixed discrete-continuous systems. He is a member of

Academy of Sciences Leopoldina The German National Academy of Sciences Leopoldina (german: Deutsche Akademie der Naturforscher Leopoldina – Nationale Akademie der Wissenschaften), short Leopoldina, is the national academy of Germany, and is located in Halle (Saale). Founded ...

, Austrian Academy of Sciences,

Academia Europaea The Academia Europaea is a pan-European Academy of Humanities, Letters, Law, and Sciences. The Academia was founded in 1988 as a functioning Europe-wide Academy that encompasses all fields of scholarly inquiry. It acts as co-ordinator of Europea ...

, and

Institute of Electrical and Electronics Engineers The Institute of Electrical and Electronics Engineers (IEEE) is a 501(c)(3) professional association for electronic engineering and electrical engineering (and associated disciplines) with its corporate office in New York City and its operation ...

. He was awarded the 2015

Milner Award The Royal Society Milner Award, formally the Royal Society Milner Award and Lecture, is awarded annually by the Royal Society, a London-based learned society, for "outstanding achievement in computer science by a European researcher". The award ...

by the

Royal Society The Royal Society, formally The Royal Society of London for Improving Natural Knowledge, is a learned society and the United Kingdom's national academy of sciences. The society fulfils a number of roles: promoting science and its benefits, re ...

. He received a

Doctor honoris causa An honorary degree is an academic degree for which a university (or other degree-awarding institution) has waived all of the usual requirements. It is also known by the Latin phrases ''honoris causa'' ("for the sake of the honour") or ''ad hon ...

from the

Masaryk University Masaryk University (MU) ( cs, Masarykova univerzita; la, Universitas Masarykiana Brunensis) is the second largest university in the Czech Republic, a member of the Compostela Group and the Utrecht Network. Founded in 1919 in Brno as the seco ...

as well as the Wittgenstein Prize of the

Austrian Science Fund The Austrian Science Fund (german: Fonds zur Förderung der wissenschaftlichen Forschung, FWF) is the most important Austrian funding organization for basic research. The FWF supports research in science, engineering, and the humanities through a ...

. He is an

ACM Fellow ACM or A.C.M. may refer to: Aviation * AGM-129 ACM, 1990–2012 USAF cruise missile * Air chief marshal * Air combat manoeuvring or dogfighting * Air cycle machine * Arica Airport (Colombia) (IATA: ACM), in Arica, Amazonas, Colombia Computing ...

and an

ISI Highly Cited Researcher The Institute for Scientific Information (ISI) was an academic publishing service, founded by Eugene Garfield in Philadelphia in 1956. ISI offered scientometric and bibliographic database services. Its specialty was citation indexing and analysis, ...

in 2001. He is ranked as the number one cited researcher in Austria according to ''h''-index data.

References

External links

Archive of the page at EPFL

Page at ISTA

Page at the Austrian Academy of Sciences
* 1962 births Living people Stanford University alumni Austrian computer scientists Foreign associates of the National Academy of Sciences {{Austria-scientist-stub