Institute for Symbolic Artificial Intelligence.

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

Address

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

Location

Science Park 4, 3rd Floor, Room 342

Office

Mo-Thu: 09:00 - 12:00

Telephone

+43 732 2468 5751

E-Mail

sai@jku.at