Write a Blog >>
Martina Seidl

Not registered as user yet

Name:Martina Seidl

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/


Show activities from other conferences

POPL 2016-profile
View general profile