Research Groups
The following research groups in computer science are currently represented at IST Austria:
| Distributed Algorithms and Systems Dan Alistarh |
| Computer Graphics and Digital Fabrication Bernd Bickel |
| Computer-aided Verification, Game Theory Krishnendu Chatterjee |
| Design and Analysis of Concurrent and Embedded Systems Thomas Henzinger |
| Discrete Optimization Vladimir Kolmogorov |
| Computer Vision and Machine Learning Christoph Lampert |
| Cryptography Krzysztof Pietrzak |
| Computer Graphics and Physics Simulation Chris Wojtan |