Zur JKU Startseite
Institut für Symbolic Artificial Intelligence
Was ist das?

Institute, Schools und andere Einrichtungen oder Angebote haben einen Webauftritt mit eigenen Inhalten und Menüs.

Um die Navigation zu erleichtern, ist hier erkennbar, wo man sich gerade befindet.

Willkommen am Institut für Symbolic Artificial Intelligence.

Wir entwicklen Techniken und Werkzeuge für automatisches Schließen.

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.

Wir haben noch offene PhD- und Postdoc Stellen. Bei Interesse bitte bei Prof. Martina Seidl melden.

Institut für Symbolic Artificial Intelligence

Adresse

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

Standort

Science Park 4, 3. Stock, Raum 342

Öffnungszeiten Sekretariat

Mo-Do: 09:00 - 12:00 Uhr

Telefon

+43 732 2468 5751

E-Mail

sai@jku.at