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.
Email: ksenja.harpprecht@ist.ac.at
Phone: +43 2243 9000 1015
Mail: Am Campus 1, A-3400 Klosterneuburg
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.