Willkommen am Institut für Formale Modelle und Verifikation (FMV)!

Wir entwicklen Werkzeuge und Verfahren zur Verifikation, Modellierung, dem Testen und Debugging von Hardware und Software.

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.

Adresse

Johannes Kepler Universität Linz
Altenberger Straße 69
4040 Linz

Standort

Informatikgebäude (Science Park 3),  2. Stock, Raum 250

Sekretariat

Mo: 10.00 - 15:00 Uhr
Di: 10.00 - 12.00 Uhr
Do: 10.00 - 15:00 Uhr
+43 732 2468 4540
doris.falb@jku.at