School of Civil and Environmental Engineering School of Humanities and Social Sciences School of Engineering Sciences Faculty of Electrical Engineering and Information Engineering Faculty of Computer Science Institute of Applied Computer Science Institute of Artificial Intelligence Institute of Software and Multimedia Technology Institute of Systems Architecture Institute of Computer Engineering Institute of Theoretical Computer Science Research Group Knowledge-Based Systems Chair of Algebraic and Logical Foundations of Computer Science Chair of Automata Theory
Chair for Foundations of Programming
International Center for Computational Logic (ICCL)
Faculty of Mechanical Engineering
Area of Mathematics and Science (including Psychology)
Affiliated institutions
Projekts / Doctoral Opportunities
