Assist.-Prof. Dr. Martina Seidl phone: +43 732 2468 4548 fax: +43 732 2468 8893 mail: Martina.Seidl@jku.at office hours: by appointment address: Institute for Formal Models and Verification Johannes Kepler University Altenbergerstr. 69 4040 Linz, Austria

Profile

In September 2010, I joined the Institute for Formal Models and Verification of the Johannes Kepler Universität Linz. Before I came to Linz, 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

Projects

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

Publications

• List of publications

Teaching

• Summer 2012
• • Formal Models
• Winter 2011/2012
• • Model Checking
  • Seminar in Computer Science: Formal Verification
• Summer 2011
• • Formal Models
• Winter 2010/2011
• • Seminar in Computer Science: Formal Verification
• Past