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: elisabeth.hacker@ist.ac.at

Phone: +43 2243 9000 1015

Mail: Am Campus 1, A-3400 Klosterneuburg

Past members


  • Ege Sarac (Jun-Aug 2017)
  • Charmi Dedhia (May-July 2015)
  • Pradyot Prakash (May-July 2015)
  • Vansh Pahwa (June-July 2014)
  • Pratik Pramod Fegade (Juni-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.