Willkommen am Lehrstuhl für Künstliche Intelligenz und formale Methoden unter der Leitung von Prof. Dr. Nils Jansen. Unsere Webseite befindet sich noch im Aufbau. Weitere Inhalte werden bald erscheinen!