Applied Computer Science and Formal Description Methods

Applied Computer Science and Formal Description Methods
aifb.kit.edu Technology: AI / Machine Learning
We focus on the development and application of informatics analysis and modelling methods as well as on platforms supporting the design and operation of distributed systems. A focus of our research activities is to create reliable, stable, controllable, and trustworthy informatics systems that adapt to their tasks in an organic way.
Director: Prof. Dr. York Sure-Vetter