We develop techniques and tools for automated reasoning.
We investigate and develop symbolic techniques and tools for automated reasoning. These have their applications in artificial intelligence, but in other domains like formal verification as well.
The institute has been currently founded. More information will follow soon.
We have open PhD and Postdoc positions. Please contact Prof. Martina Seidl for further information.
Institute for Symbolic Artificial Intelligence
Johannes Kepler Universität Linz
Altenberger Straße 69
Science Park 4, 3rd Floor, Room 342
Mo-Thu: 09:00 - 12:00
+43 732 2468 5751