Thomas A Henzinger

Institute of Science and Technology Austria

Names

Thomas A Henzinger (Preferred)
,
Thomas Henzinger
,
Thomas A. Henzinger

Emails

****@ist.ac.at
,
****@ist.ac.at
,
****@gmail.com

Education & Career History

Full Professor
Institute of Science and Technology Austria (ist.ac.at)
2009Present
 
President
Institute of Science and Technology Austria (ist.ac.at)
20092022
 
Full Professor
Swiss Federal Institute of Technology Lausanne (epfl.ch)
20042009
 
Full Professor
University of California Berkeley (berkeley.edu)
19962004
 
Assistant Professor
Cornell University (cornell.edu)
19921995
 
PhD student
Stanford University (stanford.edu)
19861991
 

Advisors, Relations & Conflicts

PhD Advisee
Present
 
PhD Advisee
Ege Sarac
Present
 
Coauthor
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
Present
 
Coauthor
Present
 
Coauthor
Present
 
Coauthor
Present
 
Coauthor
Rasmus Ibsen-Jensen
Present
 
Coauthor
Present
 
Coauthor
Present
 
Coauthor
Ali Sezgin
Present
 
Coauthor
Ventsislav Chonev
Present
 
Coauthor
Djordje Zikelic
Present
 
Coauthor
Present
 
Coauthor
Present
 
Coauthor
Present
 
Coauthor
Present
 
Postdoc Advisee
Marek Chalupa
Present
 
PhD Advisee
Stefanie Muroya Lei
Present
 
Postdoc Advisee
Nicolas Mazzocchi
Present
 
PhD Advisee
Konstantin Kueffner
Present
 
Postdoc Advisee
Kaushik Mallik
Present
 
Postdoc Advisee
Ana Oliveira da Costa
Present
 
Coauthor
Sougata Bose
Present
 
Coauthor
Present
 
Coauthor
Present
 
Coauthor
Patrick Totzke
Present
 
Coauthor
Pavol Kebis
Present
 
PhD Advisee
Mahyar Karimi
Present
 
Coauthor
Sophie Gruenbacher
Present
 
Coauthor
Scott Smolka
Present
 
Coauthor
Present
 
Coauthor
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
Present
 
Coauthor
Stefan Pranger
Present
 
Postdoc Advisee
Anna Lukina
2019Present
 
Postdoc Advisee
Fabian Muehlboeck
2019Present
 
Postdoc Advisee
Miriam Garcia Soto
2018Present
 
Postdoc Advisee
Christian Schilling
20182020
 
Postdoc Advisee
Guy Avni
20162020
 
PhD Advisee
Bernhard Kragl
20152020
 
Postdoc Advisee
Thomas Ferrere
20162019
 
PhD Advisee
Mirco Giacobbe
20142019
 
Postdoc Advisee
Hui Kong
20152018
 

Expertise

Formal methods
Present