Wir erforschen und entwickeln symbolische Techniken und Werkzeuge zum automatischen Schließen. Diese finden in der künstlichen Intelligenz, aber auch in anderen Felder wie der formalen Verifikation ihre Anwendung.
Das Institut befindet sich gerade in seiner Aufbauphase.
Forschungs-