The Institute of Science and Technology (IST) Austria was conceived as a research institution offering doctoral education which attracts outstanding scientists of all age groups from all over the world to Austria. Its campus at the outskirts of Vienna, which opened its doors in 2009, is currently the home to about 50 research groups performing frontier science in biology and neuroscience, physics and chemistry, as well as mathematics and computer science. Expected to double in size over the next decade, IST Austria is poised to become a vibrant engine for scientific discovery, graduate training, and economic development in the centre of Europe.
Tom Henzinger is President of IST Austria. He holds a Dipl.-Ing. degree in Computer Science from Kepler University in Linz, Austria, a PhD degree in Computer Science from Stanford University, and a Dr.h.c. from Fourier University in Grenoble, France, and from Masaryk University in Brno, Czech Republic. He was a professor of Electrical Engineering and Computer Sciences at the University of California, Berkeley, a director at the Max-Planck Institute for Computer Science in Saarbruecken, Germany, and a professor of Computer and Communication Sciences at EPFL in Lausanne, Switzerland. His research focuses on modern systems theory, especially models, algorithms, and tools for the design and verification of reliable software, hardware, and embedded systems. He is an ISI highly cited researcher, a member of Academia Europaea, a member of the German and Austrian Academies of Sciences, and a Fellow of the AAAS, ACM, and IEEE. He has received the Milner Award of the Royal Society, the EATCS Award of the European Association for Theoretical Computer Science, the Wittgenstein Award of the Austrian Science Fund, and an ERC Advanced Investigator Grant.