In the city of Kurt Gödel, Ludwig Wittgenstein, and the Vienna Circle, the application of mathematical logic to the sciences has a long and rich tradition. At Technische Universität Wien, we are focusing on logical methods in computer science. Based on a strong expertise in both mathematical foundations and applications to the real world, we are making contributions to theory as well as algorithms, databases, artificial intelligence, knowledge representation, theorem proving, formal methods, model checking, programming languages and security. Specialized Master and Doctoral programs are educating international top talent towards successful careers in industry and academia. This site is a hub for our activities in logic and computation.