Martina Seidl

Martina Seidl is an Associate Professor at the Institute for Formal Models and Verification of the Johannes Kepler Universität Linz. Her reaserch interests are quantified boolean formulas, automated reasoning, model evolution, model engineering and formal verification of software models.