Assist.-Prof. Dr.

Martina Seidl

phone: +43 732 2468 4548
fax: +43 732 2468 8893
office hours: by appointment
address: Institute for Formal Models and Verification
Johannes Kepler University
Altenbergerstr. 69
4040 Linz, Austria

I am assistant professor at the Institute for Formal Models and Verification of the Johannes Kepler Universit├Ąt Linz since 2010.
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

Ongoing Projects

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

Finished Projects