Tom Henzinger Elected to Royal Society

The Royal Society, the national academy of sciences of the United Kingdom, is the oldest and one of the most prestigious scientific academies of the world. It has now elected Thomas A. Henzinger, professor at the Institute of Science and Technology Austria (ISTA), the Institute’s founding president and renowned expert in the field of computer science, as new member.

The Royal Society recently announced the election of 90 exceptional researchers to the Fellowship of the body, underlining that “recognised for their invaluable contributions to science, the elected Fellows are leaders in their fields.”

Tom Henzinger has served as the founding president of ISTA from 2009 to 2022. His research group on Design and Verification of Concurrent and Embedded Systems builds mathematical foundations for designing complex hardware and software systems. As software has become increasingly prone to bugs, the group addresses the challenge of reducing these in concurrent and embedded systems.

In 2023, Henzinger was elected as Chairman of the Austrian Council for Research, Science, Innovation and Technology Development (FORWIT). He is also a member of the Scientific Council of the European Research Council (ERC) and holder of the Cross of Honor for Science and Art of the Republic of Austria. Among his many other awards and honors are an ERC Grant, the Wittgenstein Award, the Award of the European Association for Theoretical Computer Science, as well as membership in the German Academy of Sciences Leopoldina, the Academia Europaea, the Austrian Academy of Sciences (ÖAW) and the US National Academy of Sciences.

The Institute congratulates Tom Henzinger on his election to the Royal Society.