February 19, 2015
Henzinger named as EATCS Fellow
Selected for “fundamental contributions to formal verification” • Second IST Austria professor to be decorated with award
The European Association for Theoretical Computer Science (EATCS) has recognized five of its members for their outstanding contributions to theoretical computer science by naming them as recipients of an EATCS fellowship 2015. Among the laureates is IST Austria President Thomas A. Henzinger who, according to the EATCS Fellows Selection Committee, was chosen for “fundamental contributions to formal verification and synthesis of computer and biological systems”.
The Fellow status is conferred upon a person having a track record of intellectual and organizational leadership within the EATCS community. Henzinger is among only 15 researchers having received this distinction, and the third Austrian. The other Austrians are IST Austria professor Herbert Edelsbrunner und Prof. Monika Henzinger from the University of Vienna.
Henzinger joined IST Austria in 2009. A native Austrian, the computer scientist spent most of his career abroad, teaching at Cornell University, at UC Berkeley, and at EPFL in 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. Henzinger is an ISI highly cited researcher, a member of Academia Europaea, a member of the German Academy of Sciences (Leopoldina), a member of the Austrian Academy of Sciences, a Fellow of the AAAS, a Fellow of the ACM, and a Fellow of the IEEE. He has received the Wittgenstein Award of the Austrian Science Fund and an ERC Advanced Investigator Grant.
The European Association for Theoretical Computer Science (EATCS) is an international organization founded in 1972. Its aim is to facilitate the exchange of ideas and results among theoretical computer scientists as well as to stimulate cooperation between the theoretical and the practical community in computer science.