Thomas A. Henzinger (Preferred)
Thomas Henzinger
Thomas A Henzinger
Thomas A. Henzinger
Joined
May 2021
Names
,
,
Emails
****@ist.ac.at (Confirmed)
****@ist.ac.at (Confirmed)
****@gmail.com (Confirmed)
****@ista.ac.at
Personal Links
Career & Education History
Full Professor
Computer Science, Institute of Science and Technology Austria (ist.ac.at)
2009 – 2025
President
Institute of Science and Technology Austria (ist.ac.at)
2009 – 2022
Full Professor
Swiss Federal Institute of Technology Lausanne (epfl.ch)
2004 – 2009
Full Professor
University of California Berkeley (berkeley.edu)
1996 – 2004
Assistant Professor
Cornell University (cornell.edu)
1992 – 1995
PhD student
Stanford University (stanford.edu)
1986 – 1991
Advisors, Relations & Conflicts
PhD Advisee
Ege Sarac
Present
Coauthor
Shaz Qadeer
Present
Coauthor
Constantin Enea
Present
Coauthor
Tatjana Petrov
Present
Coauthor
Roderick Bloem
Present
Coauthor
Jan Otop
Present
Coauthor
Ezio Bartocci
Present
Coauthor
Rasmus Ibsen-Jensen
Present
Coauthor
Ali Sezgin
Present
Coauthor
Ventsislav Chonev
Present
Coauthor
Djordje Zikelic
Present
Postdoc Advisee
Marek Chalupa
Present
PhD Advisee
Stefanie Muroya Lei
Present
Postdoc Advisee
Nicolas Mazzocchi
Present
Postdoc Advisee
Ana Oliveira da Costa
Present
Coauthor
Pavol Kebis
Present
PhD Advisee
Mahyar Karimi
Present
Coauthor
Sophie Gruenbacher
Present
Coauthor
Scott Smolka
Present
Coauthor
Claudia Igler
Present
Coauthor
Calin Guet
Present
Coauthor
Parand Alizadeh Alamdari
Present
Coauthor
Suha Orhun Mutluergil
Present
Coauthor
Luka Zeleznik
Present
PhD Advisee
Przemyslaw Daca
Present
Coauthor
Willibald Krenn
Present
Coauthor
Marius Mikucionis
Present
Coauthor
Yu Jiang
Present
Coauthor
Manuel Zimmer
Present
Coauthor
Stefan Pranger
Present
Postdoc Advisee
Anna Lukina
2019 – Present
Postdoc Advisee
Fabian Muehlboeck
2019 – Present
Postdoc Advisee
Miriam Garcia Soto
2018 – Present
Postdoc Advisee
Christian Schilling
2018 – 2020
PhD Advisee
Bernhard Kragl
2015 – 2020
Postdoc Advisee
Thomas Ferrere
2016 – 2019
PhD Advisee
Mirco Giacobbe
2014 – 2019
Postdoc Advisee
Hui Kong
2015 – 2018
Expertise
Formal methods
Present
Publications
Co-Authors
- Abhinav Verma
- Adam Chlipala
- Aditya Prakash
- Aditya V. Nori
- Adrián Elgyütt
- Albert Benveniste
- Alberto L. Sangiovanni-Vincentelli
- Alex Hajnal
- Alexander Amini
- Alexander Moshe Rabinovich
- Alexander Rabinovich
- Alexey Bakhirkin
- Alfredo Olivero
- Ali Sezgin
- Amir Pnueli
- Ana Oliveira da Costa
- Ana Sokolova
- Andreas Haas
- Andreas Holzer
- Andreas Pavlogiannis
- Andreas Podelski
- Andrei Voronkov
- Andrew D. Gordon
- Andrey Kupriyanov
- Andrey Rybalchenko