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

• FAME (principal investigator)
• AMOR - Adaptable Model Versioning (technical head)
• ModelCVS (researcher)

Publications

• List of publications at DBLP
• List of selected publications