Write a Blog >>
Martina Seidl

Not registered as user yet

Name: Martina Seidl

Bio: 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.

Personal website: http://fmv.jku.at/seidl/

Contributions

VMCAICommittee Member in Program Committee
Show activities from other conferences

POPL 2016-profile
View general profile