Department of Mathematics and Computer Science. Research areas include logic synthesis and verification, digital systems verification, genetic algorithms for routing, LEDA, graph drawing algorithms, parallel algorithms and programming, and compilers a...

Department of Computer Science. Research topics include information structures, knowledge-based systems, programming languages and methodology, distributed systems, theoretical computer science, technical computer science, artificial intelligence, and...

Department of Computer Science. Research projects focus on computer networks, 3D graphics, visual parallel programming environments, parallel and distributed processing, neural networks, and object-oriented geographic information systems.

Faculty of Computer Science. Computer architecture, computing software, dialogue systems, formal concepts of computer science, graphical engineering systems, intelligent systems, programming languages, software engineering, theoretical computer scienc...

Faculty of Computer Science and Automation. Research involves theoretical and practical informatics, bioinformatics, and automated system engineering.

Institute of Computer Science. Research covers applied computer science, neural networks, parallel genetic algorithms, and fluid dynamics on parallel systems.

Institute of Computer Science. Research areas include theoretical computer science, graph grammars, visual programming, computational linguistics, evolutionary computation, parallel and distributed systems, soft computing, fault tolerance, object orie...

Department of Mathematics/Computer Science. Research areas include databases, neural networks, theoretical computer science, and performance measuring.

Mathematics and Computer Science. Data management, knowledge representation, human-computer interaction, software engineering, specification of computer systems, systems modelling, and dependability.

Department of Computer Science. Research areas include databases, computer graphics, visualization, image processing, operating systems, parallel and distributed systems, programming languages and compilers, societal aspects, knowledge-based systems, ...