Applied Computer Science and Formal Description Methods
Applied Computer Science and Formal Description Methodsaifb.kit.edu
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