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

Publications

Teaching