Henzinger Group

Tom Henzinger's group is interested in mathematical methods for improving the quality of software. More and more aspects of our lives are controlled by software and over 90% of the computing power is in places you wouldn't expect, such as cell phones, kitchen appliances, and pacemakers. Computer software has, at the same time, become one of the most complicated artifacts produced by man. It is therefore unavoidable that software contains errors and vulnerabilities, and preventing and fixing software bugs is a major technological challenge.

• Marek Chalupa
• Tom Henzinger
• Kaushik Mallik
• Konstantin Kueffner
• Nicolas Mazzocchi
• Samuel Pastva
• N. Ege Saraç

Email: ksenja.harpprecht@ist.ac.at
Phone: +43 2243 9000 1015
Mail: Am Campus 1, A-3400 Klosterneuburg

Guy Avni
Sergiy Bogomolov
Udi Boker
Pavol Černý
Duc-Hiep Chu
Przemysław Daca
Jessica Davies
Cezara Dragoi
Adrián Elgyütt
Thomas Ferrère
Miriam García Soto
Mirco Giacobbe
Ashutosh Gupta
Hui Kong
Bernhard Kragl
Jan Křetínský
Andrey Kupriyanov
Mathias Lechner
Anna Lukina
Fabian Mühlböck
Dejan Ničković
Jan Otop
Tatjana Petrov
Arjun Radhakrishna
Jakob Ruess
Roopsha Samanta
Christian Schilling
Ali Sezgin
Vasu Singh
Anmol V. Singh
Thorsten Tarrach
Abhinav Verma
Thomas Wies
Luka Zeleznik
Damien Zufferey

Parand Alizadeh Alamdari (July-September 2019)
Soroush Ebadian (July-September 2019)
Milad Aghajohari (July-September 2018)
Alexander Scharinger (June-August 2018)
N. Ege Sarac (June-August 2017)
Bharat Khandelwal (May-July 2017)
Chris Wendler (July-August 2016)
Shubham Goel (May-July 2016)
Aviral Kumar (May-July 2016)
Charmi Dedhia (May-July 2015)
Pradyot Prakash (May-July 2015)
Pratik Pramod Fegade (June-July 2014)
Vansh Pahwa (June-July 2014)
Matthias Loening (July-August 2013)
Sameep Bagadia (May-July 2013)
Alexandre Thevenet-Montagne (March-August 2012)
Aditya Ayyar (May-July 2012)
Vipul Singh (May-July 2012)
Gopi Sivakanth (May-July 2011)
Nishant Totla (May-July 2010, May-July 2011)
Rohit Singh (May-July 2010)

If you are interested in pursuing a doctoral degree or postdoc in our group, please contact us. The application procedure for graduate students is described here.

• Tuesday Group Seminar
• IST/FORSYTE Seminar

• Analysis and synthesis of concurrent software
• Quantitative modeling and verification of reactive systems
• Predictability and robustness for real-time and embedded systems
• Model checking biochemical reaction networks
• Formal methods for neural networks
• Run-time verification