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