AIFB/en
Aus Aifbportal
AIFB
Since 1971, the Institute of Applied Informatics and Formal Description Methods (AIFB) of the Karlsruhe Institute of Technology has been doing what its name says: Applied Informatics.
You can find a more detailed portrait of the institute at:
To gain up-to-date spotlight insights into our work, please refer to:
An overview over the people and the research groups at AIFB and information how to get in touch with us can be found at: