Thomas Henzinger | |
---|---|
![]() Henzinger in 2016 | |
Born | |
Nationality | Austrian |
Known for | design and verification of software, hardware, and embedded systems |
Awards | NAS 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.
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.
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]
He is a member of Academy of Sciences Leopoldina, Austrian Academy of Sciences, Academia Europaea, and Institute of Electrical and Electronics Engineers.
Henzinger was awarded the 2015 Milner Award by the Royal Society. [3] He received a Doctor honoris causa from the Masaryk University as well as the Wittgenstein Prize of the Austrian Science Fund. He is an ACM Fellow and an ISI Highly Cited Researcher in 2001. He is ranked as the number one cited researcher in Austria [5] according to h-index data. [6]
The École polytechnique fédérale de Lausanne (EPFL) is a public research university in Lausanne, Switzerland. Established in 1853, EPFL has placed itself as a world class university specializing in engineering and natural sciences.
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.
The President's Council of Advisors on Science and Technology (PCAST) is a council, chartered in each administration with a broad mandate to advise the president of the United States on science and technology. The current PCAST was established by Executive Order 13226 on September 30, 2001, by George W. Bush, was re-chartered by Barack Obama's April 21, 2010, Executive Order 13539, by Donald Trump's October 22, 2019, Executive Order 13895, and by Joe Biden's February 1, 2021, Executive Order 14007.
Martin Vetterli is the current president of École polytechnique fédérale de Lausanne (EPFL) in Switzerland, succeeding Patrick Aebischer. He's a professor of engineering and was formerly the president of the National Research Council of the Swiss National Science Foundation.
The Institute of Science and Technology Austria (ISTA) is an international research institute in natural and exact 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.
Joseph Sifakis is a Greek-French computer scientist. He received the 2007 Turing Award, along with Edmund M. Clarke and E. Allen Emerson, for his work on model checking.
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.
S. Shankar Sastry is the Founding Chancellor of the Plaksha University, Mohali and a former Dean of Engineering at University of California, Berkeley.
Ruzena Bajcsy is an American engineer and computer scientist who specializes in robotics. She is professor of electrical engineering and computer science at the University of California, Berkeley, where she is also director emerita of CITRIS.
Professor Benjamin Wan-Sang Wah is the Wei Lun Professor of Computer Science and Engineering at the Chinese University of Hong Kong, as well as the former provost of this university. He was elected President of IEEE Computer Society in 2001.
Constance J. Chang-Hasnain is chairperson and founder of Berxel Photonics Co. Ltd. and Whinnery Professor Emerita of the University of California, Berkeley. She was President of Optica in 2021.
Robert W. Brodersen is a professor of electrical engineering, now emeritus, and a founder of the Berkeley Wireless Research Center (BWRC) at the University of California, Berkeley.
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.
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.
Pravin Pratap Varaiya was Nortel Networks Distinguished Professor in the Department of Electrical Engineering at the University of California, Berkeley.
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 is supported by Microsoft Research and is named in honour of Robin Milner, a prolific pioneer in computer science who, among other contributions, designed LCF and the programming language ML.
Monika Henzinger 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 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.
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.
Eugene Wong is a Chinese-American computer scientist and mathematician. Wong's career has spanned academia, university administration, government and the private sector. Together with Michael Stonebraker and a group of scientists at IBM, Wong is credited with pioneering database research in the 1970s from which software developed by IBM, Microsoft, and Oracle descends. Wong retired in 1994, since then holding the title of Professor Emeritus of Electrical Engineering and Computer Sciences at University of California, Berkeley.