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