We develop techniques and tools to support automated reasoning.
We investigate and develop symbolic techniques and tools to support automated reasoning. These have applications in artificial intelligence as well as other domains, such as formal verification.
The institute is new and detailed information will be available shortly.
We have open PhD and post-doc positions. Please contact Prof. Martina Seidl for additional information.
Institute for Symbolic Artificial Intelligence
Johannes Kepler Universität Linz
Altenberger Straße 69
Science Park 4, 3rd Floor, Room 342
Mon-Thurs: 9:00 AM - 12:00 PM
+43 732 2468 5751