Industrial Mathematics Institute.
Department of Mathematics.
Kurt Gödel Research Center for Mathematical Logic, formerly the Institute of Logic.