Univ.-Prof.in Dr.in Martina Seidl

Über mich

Univ.Prof.in Dr.in Martina Seidl leitet das Institut für Symbolic Artificial Intelligence an der Johannes Kepler Universität Linz. Ihre Forschung konzentriert sich auf die Entwicklung und Anwendung formaler Reasoning-Techniken, die zum Beispiel für die Verbesserung von Softwarequalität eingesetzt werden. Als Mitglied des Board of Directors des Cluster of Excellence “Bilateral AI” arbeitet sie an der Integration von verschiedensten Ansätzen der künstlichen Intelligenz. In der Lehre ist es ihr ein besonderes Anliegen theoretische Grundlagen der Informatik und der künstlichen Intelligenz mit praktischen Anwendungen zu verbinden. Diese Bemühungen wurden 2024 mit dem “Kepler Award for Excellence in Teaching” der JKU ausgezeichnet.