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

VMCAI Committee Member in Program Committee
Show activities from other conferences

POPL 2016-profile
View general profile