Uni-Prof. Dr. Martina Seidl

Uni-Prof. Dr. Martina Seidl

Leiterin Institut für Symbolic Artificial Intelligence

JKU Linz

Martina Seidl ist Universitätsprofessorin an der Johannes Kepler Universität Linz und leitet seit Oktober 2020 das Institut für Symbolic Artificial Intelligence. 

Sie promovierte an der TU Wien im Bereich des automatischen Schließens und habilitierte an der JKU Linz im Fach Informatik. In ihrer Forschung beschäftigt Martina Seidl sich hauptsächlich mit der Entwicklung von Techniken des automatischen Schließens sowie deren Anwendung in der symbolischen künstlichen Intelligenz und der Verifikation von Software Modellen.

Foto Credits: JKU Linz