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.

Current members

Group photo

Administrative assistant

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

Past members


    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)

Open positions

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.




  • 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

Current projects