Thomas A. Henzinger, IST Austria