We live in a time in which our daily lives are pervaded by intelligent devices that are cross-linked in a wireless, ubiquitous way, that exchange data, and that so enable completely new services. At the Institute of Intelligent Cooperating Systems of the Faculty of Computer Science, we take up this hot topic and focus on highly topical scientific issues. These comprise on the one hand methods of artificial intelligence, ranging from intelligent data analysis, knowledge representation, spatio-temporal reasoning to conceptual and algorithmic approaches of swarm intelligence - on the other ahnd methods of model-driven development and specification as well as questions of safety and reliability. The institute is currently being established and from 2016 on, it will merge the two former Institute for Distributed Systems (IVS) and Institute for Knowledge and Language Processing (IWS) of the Faculty.
In this sense:
Welcome to the pages of the Institute of Intelligent Cooperating Systems (ICS).
The Chair Communication and Networked Systems (Prof. Dr. Mesut Günes) covers in research and teaching the fields of wired and wireless networks, communications systems, Future Internet, and the Internet of Things (IoT). The design, prototype development, and performance evaluation of communication systems are the focus of research.
The Chair of Computational Intelligence (Prof. Dr. habil. Rudolf Kruse) conducts research into methods of Artificial Intelligence. Currently, the main focus is on new methods of Intelligent Data Analysis.
The research focus of the AG ESS is in flexible composition of distributed systems. We develop concepts for self-description, fault modelling and adaptivity related to mobile systems and smart environments.
The major focus in research and teaching at the Chair of Intelligent Systems (Prof. Dr.-Ing. habil. Sanaz Mostaghim) is on Computational Intelligence, Swarm Intelligence, Swarm Robotics and Organic Computing.
Our research is interdisciplinary. Today, software is the key innovation driver for many technical systems. However, while software engineering methods made huge steps forward in pure IT domains, software development tools, methods and processes for software in technical applications did not change a lot in the last two decades. Closing this gap in software engineering efficiency is the goal of our research.
Our research and teaching focuses on the development and application of formal and semantic (i.e. mathematically grounded) methods to the study, modeling and verification of complex systems in various fields of computer science, varying from constraint reasoning about space and time to software specification, ontologies and conceptual blending.