Univ.Prof. Dr.

Martina Seidl

phone: +43 732 2468 5750
mail: Martina.Seidl@jku.at
office hours: by appointment
address: Institute for Symbolic Artificial Intelligence
Johannes Kepler University
Altenbergerstr. 69
4040 Linz, Austria

I am professor of the Institut für Symbolic Artificial Intelligence and associated to the Institute for Formal Models and Verification as interim head, both at the Johannes Kepler Universität Linz.
Before I came to Linz in 2010, I worked at the Business Informatics Group of the Vienna University of Technology.

Research Interests

  • Quantified Boolean Formulas
  • Automated Reasoning
  • Model Evolution
  • Model Engineering
  • Formal Verification of Software Models

Ongoing Projects

  • Doctoral College in LogicCS (associated faculty member)
  • National Research Network RiSE (SHiNE, 2nd phase, co-PI)

Finished Projects

Publications