Thomas Henzinger

Last updated
Thomas Henzinger
Thomas Henzinger.png
Henzinger in 2016
Born1962 (age 6162)
NationalityAustrian
Alma mater Johannes Kepler University Linz
Stanford University
AwardsNAS Member (2020)
IEEE Fellow
Member, Academy of Sciences Leopoldina
Member, Austrian Academy of Sciences
Member, Academia Europaea
Scientific career
Fields Computer science
Institutions Institute of Science and Technology, Austria

Thomas Henzinger (born 1962) is an Austrian computer scientist, researcher, and former president of the Institute of Science and Technology, Austria.

Contents

Early life and education

Henzinger was born in Austria. He received his bachelor's degree in computer science from Johannes Kepler University Linz, and his PhD from Stanford University in 1991, [1] advised by Zohar Manna. He is married to Monika Henzinger and has three children.

Career

Henzinger was successively Assistant Professor of Computer Science at Cornell University (1992–95) and Assistant Professor (1996–97), Associate Professor (1997–98), Professor (1998–2004) and Adjunct Professor (till 2011) [2] of Electrical Engineering and Computer Sciences at the University of California, Berkeley. He was also director of the Max Planck Institute of Computer Science in Saarbrücken, 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. [3] Until 2022, he was president of the Institute of Science and Technology Austria (ISTA). [1]

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 for mixed discrete-continuous systems. [3]

For more on his influential work and academic contributions, his Google Scholar profile [4] provides a comprehensive list of his publications, and his academic lineage can be explored on the Mathematics Genealogy Project page. [5]

Other activities

Recognition

Prof. Henzinger is a member of the US National Academy of Sciences, the American Academy of Arts and Sciences, Academia Europaea, the German Academy of Sciences (Leopoldina), and the Austrian Academy of Sciences. [7] He received a Doctor honoris causa from Fourier University in Grenoble and from Masaryk University in Brno. [7] He is also a Fellow of the AAAS, the ACM, and the IEEE. He has received the 2015 Robin Milner Award of the Royal Society, [3] the EATCS Award of the European Association for Theoretical Computer Science, and the Wittgenstein Award of the Austrian Science Fund. He was recognized as an ISI Highly Cited Researcher in 2001 and is ranked as the most-cited researcher in Austria [8] according to h-index data. [9]

Related Research Articles

<span class="mw-page-title-main">Richard M. Karp</span> American mathematician

Richard Manning Karp is an American computer scientist and computational theorist at the University of California, Berkeley. He is most notable for his research in the theory of algorithms, for which he received a Turing Award in 1985, The Benjamin Franklin Medal in Computer and Cognitive Science in 2004, and the Kyoto Prize in 2008.

Scott J. Shenker is an American computer scientist, and professor of computer science at the University of California, Berkeley. He is also the leader of the Extensible Internet Group at the International Computer Science Institute in Berkeley, California.

Giovanni De Micheli is a research scientist in electronics and computer science. He is credited for the invention of the Network on a Chip design automation paradigm and for the creation of algorithms and design tools for Electronic Design Automation (EDA). He is Professor and Director of the Integrated Systems laboratory at École Polytechnique Fédérale de Lausanne (EPFL), Switzerland. Previously, he was Professor of Electrical Engineering at Stanford University. He was Director of the Electrical Engineering Institute at EPFL from 2008 to 2019 and program leader of the Swiss Federal Nano-Tera.ch program. He holds a Nuclear Engineer degree, a M.S. and a Ph.D. degree in Electrical Engineering and Computer Science under Alberto Sangiovanni-Vincentelli.

<span class="mw-page-title-main">Institute of Science and Technology Austria</span> Research institute in Austria

The Institute of Science and Technology Austria (ISTA) is an international research institute in natural and formal sciences, located in Maria Gugging, Klosterneuburg, 20 km northwest of the Austrian capital of Vienna. It was established and inaugurated by the provincial government of Lower Austria and the federal government of Austria in 2009.

<span class="mw-page-title-main">Deborah Estrin</span> American computer scientist

Deborah Estrin is a Professor of Computer Science at Cornell Tech. She is co-founder of the non-profit Open mHealth and gave a TEDMED talk on small data in 2013.

<span class="mw-page-title-main">Shankar Sastry</span> Indian academic

S. Shankar Sastry is the founding chancellor of the Plaksha University, Mohali and a former Dean of Engineering at University of California, Berkeley.

<span class="mw-page-title-main">Herbert Edelsbrunner</span> American computer scientist

Herbert Edelsbrunner is a computer scientist working in the field of computational geometry, the Arts & Science Professor of Computer Science and Mathematics at Duke University, Professor at the Institute of Science and Technology Austria (ISTA), and the co-founder of Geomagic, Inc. He was the first of only three computer scientists to win the National Science Foundation's Alan T. Waterman Award.

<span class="mw-page-title-main">János Pach</span> Hungarian mathematician

János Pach is a mathematician and computer scientist working in the fields of combinatorics and discrete and computational geometry.

<span class="mw-page-title-main">Ruzena Bajcsy</span> American computer scientist

Ruzena Bajcsy is an American engineer and computer scientist who specializes in robotics. She is professor of electrical engineering and computer sciences at the University of California, Berkeley, where she is also director emerita of CITRIS.

The Wittgenstein Award is an Austrian science award supporting the notion that "scientists should be guaranteed the greatest possible freedom and flexibility in the performance of their research." The prize money of up to 1.5 million euro make it the most highly endowed science award of Austria, money that is tied to research activities within the five years following the award. The Wittgenstein-Preis is named after the philosopher Ludwig Wittgenstein and is conferred once per year by the Austrian Science Fund on behalf of the Austrian Ministry for Science.

<span class="mw-page-title-main">Jitendra Malik</span> Indian-American academic (born 1960)

Jitendra Malik is an Indian-American academic who is the Arthur J. Chick Professor of Electrical Engineering and Computer Sciences at the University of California, Berkeley. He is known for his research in computer vision.

<span class="mw-page-title-main">Monika Henzinger</span> German computer scientist

Monika Henzinger is a German computer scientist, and is a former director of research at Google. She is currently a professor at the Institute of Science and Technology Austria. Her expertise is mainly on algorithms with a focus on data structures, algorithmic game theory, information retrieval, search algorithms and Web data mining. She is married to Thomas Henzinger and has three children.

Helmut Veith was an Austrian computer scientist who worked on the areas of computer-aided verification, software engineering, computer security, and logic in computer science. He was a Professor of Informatics at the Vienna University of Technology, Austria.

Krishnendu Chatterjee is an Indian computer scientist who is currently a professor at the Institute of Science and Technology Austria (ISTA). He is known for his contributions to theoretical computer science, especially in algorithmic game theory, evolutionary game theory, logics and automata theory.

Tamara Ann Broderick is an American computer scientist at the Massachusetts Institute of Technology. She works on machine learning and Bayesian inference.

Trevor Jackson Darrell is an American computer scientist and professor at the University of California, Berkeley. He is known for his research on computer vision and machine learning and is one of the leading experts on topics such as deep learning and explainable AI.

Saket Saurabh is an Indian computer scientist who is currently the Professor of Theoretical Computer Science at the Institute of Mathematical Sciences, Chennai (IMSc), India and an adjunct faculty at University of Bergen, Norway. He specializes in parameterized complexity, exact algorithms, graph algorithms and game theory. His fundamental contributions to the area of parameterized complexity include procedures for obtaining algorithmic lower bounds, and meta-theorems on preprocessing. Saket Saurabh was awarded the Shanti Swarup Bhatnagar Prize for Science and Technology in Mathematical Sciences in the year 2021.

Martin Hetzer is an Austrian-born molecular biologist and President of the Institute of Science and Technology Austria (ISTA). He is holder of the Jesse and Caryl Philips Foundation Chair in Molecular Cell Biology. His research focuses on fundamental aspects of organismal aging with a special focus on the heart and central nervous system. His laboratory has also made important contributions in the area of cancer research and cell differentiation.

Emina Torlak is an American computer scientist and software engineer whose research concerns software verification, program synthesis, and the integration of these techniques into domain-specific languages. She was previously professor of computer science at the University of Washington, and is currently a senior principal scientist for Amazon Web Services.

Stefanie Sabrina Jegelka is a German computer scientist whose research in machine learning includes submodular optimization in computer vision and deep learning for graph neural networks. She is an associate professor of computer science at the Massachusetts Institute of Technology, and Alexander von Humboldt Professor at the Technical University of Munich.

References

  1. 1 2 Kaplan, Karan (4 February 2009). "Thomas Henzinger, president, Institute of Science and Technology Austria, Klosterneuburg, Austria". Nature. 457 (7230): 752. doi: 10.1038/nj7230-752a .
  2. "Thomas A. Henzinger, Adjunct Professor, EECS, University of California Berkeley, USA".
  3. 1 2 3 "Royal Society Milner Award". Royal Society. Retrieved 19 November 2015.
  4. "Thomas Henzinger". scholar.google.com. Retrieved 2024-10-25.
  5. "Thomas Henzinger - The Mathematics Genealogy Project". www.genealogy.math.ndsu.nodak.edu. Retrieved 2024-10-25.
  6. Commission appoints distinguished scientists and scholars as members of the European Research Council’s governing body European Commission, Directorate-General for Research and Innovation, press release of 7 December 2022.
  7. 1 2 "Thomas A. Henzinger". etaps.org. Retrieved Oct 25, 2024.
  8. "Thomas Henzinger profile". Guide 2 Research. Retrieved 13 September 2018.
  9. Thomas Henzinger publications indexed by Google Scholar