Die Erforschung und Bereitstellung von Werkzeugen zum Automatischen Schließen ist unsere Hauptaufgabe. Dieses Gebiet erstreckt sich von der Logik, über die Künstliche Intelligenz bis zu Anwendungen und umfasst insbesondere die Unterstützung zur Entwicklung von Software und Hardware. Unsere SAT, SMT und QBF Solver sind weltweit bekannt und erzielen unzählige Preise in internationalen Wettbewerben. In der Lehre ist es unser Ziel, sowohl grundlegendes wie auch vertiefendes Wissen zur breiten Anwendung von Logik in der Informatik und darüber hinaus  zu vermitteln.

Weitere Informationen finden Sie unter http://fmv.jku.at, öffnet eine externe URL in einem neuen Fenster.