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.