Mathematical Logic and Theoretical Computer Science

You can find detailed information about this area of specialization on the homepage of the Kurt Gödel Research Center.