Martina Seidl

Associate Professor, Johannes Kepler University Linz
Visiting Scientist and Workshop Organizer
Dates of Visit: Jan. 12May 14, 2021

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.

Program Visits