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 |