activity report - universität innsbruck€¦ · activity report department of computer science...

Activity Report Department of Computer Science 2011 – 2016

2 3

Activity Report Department of Computer Science Department of Computer Science Activity Report

1. Foreword 5

2. The Department at a Glance 6

3. The Research Groups at the Department of Computer Science 9

4. Computer Science Studies in Innsbruck 59

5. School Outreach 69

6. Projects and collaborations 73

7. Conferences and Events 105

8. Guest lectures 109

Table of Contents

4 5


1. Foreword

The more Computer Science has turned into the major

driver of innovation in our society, the more target

groups a department of computer science is faced with.

In addition to the classic academic goals of excellence in

research and education, manifold expectations towards

industrial and scientific interdisciplinary collaborations,

generation of spin-offs, building bridges to schools and

visible participation in the societal discussion on digital

transformation have grown. The occasion of celebrating

15 years of Computer Science Studies and the (re-)set up

of the Department of Computer Science at the University

of Innsbruck is an excellent opportunity to look back under

the light of these expectations and interfaces. In this report

we have aggregated our output from the past five years.

In the period from 2011 to 2016, the number of faculty

members could be increased significantly, amounting to

the current number of 7 full professors, 3 associate and

2 assistant professors. Our research output is excellent,

manifested by Forschungszentrum Informatik being

ranked first in an internal ranking of research centres at

the University of Innsbruck. Individual highlights include

the ERC Starting Grant awarded to Cezary Kaliszyk in

2016, the START-Preis awarded to Dr. René Thiemann

in 2015 and the Laura Bassi Centre of Expertise QE LaB,

established in 2009. This is complemented by three

large H2020 Research and Innovation Actions, acquired

and coordinated by Thomas Fahringer, Radu Prodan and

Justus Piater.

Collaborations with global players such as Siemens, Infi-

neon Technologies, Porsche Informatik and Swiss Life, as

well as with a broad spectrum of Tyrolean SMEs underline

our ambition to deliver results of highest practical rele-

vance. This is complemented by a multitude of academic

collaborations, both on regional and international scale.

Concerning education, the outstanding result of the

U-Multirank Student Survey 2015, where we received an A

score in 13 areas, plainly documents our commitment and

high quality level in teaching. Offering Bachelor, Master,

PhD study programs in Computer Science and Teaching

Training Program, 827 students were enrolled in Winter-

semester 2015/2016.

In our outreach activities we put a focus on attracting high

school students to computer science and IT related fields.

Most notably we have initiated and headed the initiative

„You can make IT“ in 2012, a joint initiative of the Aus-

trian Universities offering computer science studies funded

by the Ministry of Science, and offer vocational education

workshops for high school teachers of computer science.

Appreciating the distinguished environment in which our

work can take place, we would like to thank our suppor-

ters, sponsors and collaboration partners. In particular,

we would like to thank the Rector´s team, the teams of

Projektservicebüro and Büro für Öffentlichkeitsarbeit,

Standortagentur Tirol, as well as our industrial partners for

their continuous and reliable support.

Personally, I would like to cordially thank all colleagues and

members of the Institute for the great team spirit and a lot

of fun at work.

Univ.-Prof. Dr. Ruth Breu,

Head of the Department of Computer Science

6 7


Administration

Mag. Boris Puschitz

Project Management and Administration

E-Mail: [email protected]

Anna Maria Scheiring

Teaching and Student Information


Gabriele Strasser

Budget and Public Relations


Tizian Müller

IT Computer Scientist Apprentice


The Department in Figures

Staff Members (31.01.2016) 108

Staff funded via projects 61 (52 % of total full-time equivalents)

Third-party funded projects since 2001

over 200 projects totalling more than 30 million Euro

2. The Department at a Glance

Full Professors at the Department of Computer Science

Univ.-Prof. Dr. Ruth Breu (2002) Quality Engineering

Univ.-Prof. Dr. Thomas Fahringer (2003) Distributed and Parallel Systems

Univ.-Prof. Dr. Aart Middeldorp (2003) Computational Logic

Univ.-Prof. Dr. Günther Specht (2006) Databases and Information Systems

Univ.-Prof. Justus Piater, PhD (2010) Intelligent and Interactive Systems

Univ.-Prof. Dr. Matthias Harders (2014) Interactive Graphics and Simulation

Univ.-Prof. Dr. Rainer Böhme (2015) Security and Privacy Lab

Archimedes endowed professorship

Univ.-Prof. Dr. Falko Dressler (2011 - 2014) Computer and Communication Systems

Associate Professors

assoz. Prof. Dr. Georg Moser (2011) Computation with Bounded Resources

assoz. Prof. Dr. Radu Prodan (2011) Cloud Computing

assoz. Prof. Dr. Barbara Weber (2011) Business Process Management

In 2001 the Department of Computer Science at the

University of Innsbruck was established as part of the tech-

nology initiative in Western Austria. The Federal Ministry

for Science and Research and the Tiroler Zukunftsstiftung

were the main contributors.

The Department of Computer Science is part of the Faculty

of Mathematics, Computer Science and Physics (MIP Fakultät).

The research groups cover core areas in theoretical as well

as applied and practical computer science. This constitutes

a substantial enrichment to teaching for our students and

enables for reaping the benefits of synergies between the

research groups.

8 9


3. The Research Groups at the Department of Computer Science

CONTINUOUS QUALITY ANALY

SIS

ITManagement Systems

Operation

SoftwareEngineering

© is

tock

.co

m/b

aran

ozd

emir

© V

irtaM

ed©

pix

abay

.com

10 11


Computational Logic (CL)

The Computational Logic research group (CL) at the

University of Innsbruck was established in 2003 and

currently employs about 25 researchers, mostly on externally

funded positions.

CL is concerned with the logical foundations of computer

science. Besides fundamental research in term rewriting,

automated deduction, resource-aware computation, and

interactive theorem proving, members of CL are using

innovative methods for developing award-winning tools

(CSI, IsaFoR/CeTA, TCT, …) that compete in international

competitions. CL also develops proof advice for interactive

proof systems, using automated reasoning combined with

machine learning and proof translation.

CL has achieved an internationally leading position in the

areas of certification, interactive theorem proving, resource

analysis, and term rewriting.

CL research results and tools are incorporated into lec-

tures taught by CL members, which are well received by

students.

http://cl-informatik.uibk.ac.at

Facts & Figures

CL members were awarded ten FWF projects

and fellowships in the past five years, two of

which are highly competitive bilateral projects.

CL members originate from eight different

countries.

CL has won three Kurt-Gödel medals at the FLoC

Olympic Games 2014.

René Thiemann received the prestigious START

award in 2014.

>> 3. The Research Groups at the Department of Computer Science

Univ.-Prof. Dr.

Aart Middeldorp

Aart Middeldorp studied computer science at the VU

University Amsterdam. After obtaining a doctorate degree

and a brief stint as junior researcher at CWI Amsterdam,

he moved to Japan as a one year visiting research scientist

at the Advanced Research Laboratory of Hitachi. This was

followed by a ten year period as assistant/associate professor

at the University of Tsukuba.

In 2003 he became full professor at the University of

Innsbruck and established the Computational Logic research

group. Aart Middeldorp initiated Erasmus agreements with

partner universities in France and the Netherlands. He was

instrumental in the establishment of exchange agreements

with two universities in Japan.

His research interests include the logical foundations of

computer science. He is particularly well-known for his

contributions to term rewriting and is in the process of

writing a comprehensive textbook on this subject. He is a

passionate educator.

Contact [email protected]

Research Highlights

Program co-chair of the 25th International

Conference on Automated Deduction

(2015)

Invited lecturer at the 7th and 8th

International School on Rewriting

(2014 and 2015)


Conference on Logic for Programming,

Artificial Intelligence and Reasoning (2013)

Project leader of a FWF - JSPS

International Cooperation Project

(2011 - 2015)

Computational Logic seeks to advance the theory and practice of

correct software, using techniques from logic and automated

as well as interactive theorem proving.

12 13


assoz. Prof. Dr.

Georg Moser

Georg Moser received his MSc in computational logic and

his PhD in computer science from the Vienna University of

Technology. In addition he holds a MSc from the University

of Leeds. In 2009 he received his habilitation in computer

science from the University of Innsbruck. Since 2011 he

is an associate professor at the Department of Computer

Science.

Georg‘s research interests are concerned with program ana-

lysis, programming languages, logic, and proof theory. Since

2012 he has been leading the research group Computation

with Bounded Resources. The group is concerned with the

fundamental role of computation if resources are bounded

and is interested in automated complexity analysis of

real-world programs.

The group‘s research culminates in the award-winning

„Tyrolean Complexity Tool“, providing the state-of-the-

art in fully automated resource analysis of higher-order

functional programs. Furthermore the tool provides

resource analysis of bytecode programs and intermediate

representations.


Senior Researchers

Ass.-Prof. Dr.

René Thiemann

[email protected]

Expertise

» interactive theorem

proving

» termination and

complexity analysis

» program verification

» term rewriting

Priv.-Doz. Dr.

Cezary Kaliszyk

[email protected]

Expertise

» proof assistants

» formal methods

» proof advice

» automated reasoning

Dr.

Vincent van Oostrom

[email protected]

Expertise » lambda calculus

» process algebra

» term rewriting

Dr.

Christian Sternagel

[email protected]

Expertise


proving

» functional programming

» program verification

» term rewriting and its

certification

» formalized mathematics

Research Highlights

Chair of IFIP Working Group 1.6

(since 2014)

SC member and chair of the International

Conference on Rewriting Techniques and

Applications (2011 - 2014)

Invited lecturer at the 6th and 8th

International School on Rewriting

(2012 and 2015) and the 23rd European

Summer School in Logic, Language and

Information.

Principal Investigor of two ANR - FWF

International Cooperation Projects

(2011 - 2014, 2016 -), one FWF project

(2013 - 2016), and one DARPA/AFRL

funded project (2015 - 2019)

14 15


Senior Researchers

Dr.

Bertram Felgenhauer

[email protected]

Expertise

» automated confluence

proving

» term rewriting

» tree automata

» functional programming

Dr.

Sebastiaan Joosten

[email protected]

Expertise

» relation algebra

» automated verification


proving

» termination of lazy

functional programs

» Haskell

Dr.

Stéphane Gimenez

[email protected]

Expertise

» parallel computation

models

» distributed computing

» complexity analysis

» type systems

» linear logic

Dr.

Martin Avanzini

[email protected]

Expertise

» automated complexity

analysis

» term rewriting

» program analysis

» implicit complexity theory

Dr.

Thomas Powell

[email protected]

Expertise

» proof theory

» computability theory

» proof interpretations

» recursion in higher types

Dr.

Akihisa Yamada

[email protected]

Expertise

» term rewriting

» interactive theorem proving

» software testing

Former Senior Researchers

Dr. Lukasz Czajka, Dr. Naohi Eguchi, Dr. Cynthia Kop, Dr. Friedrich Neurauter, Dr. Andreas Schnabl, Dr. Sarah Winkler, Priv.-Doz.

Dr. Harald Zankl

Junior Researchers

Michael Färber MSc, Thibault Gauthier MMath, Julian Nagele MSc, Franziska Rapp MSc, Michael Schaper MSc, Thomas Sternagel MSC

Non-Scientific Staff

Mag. Martina Ingenhaeff-Falkner, Secretary, [email protected]

Benjamin Winder, System Administrator, [email protected]

16 17


Research Stories

unreliableanalyzer trusted

certifier

program✓✗

?

generatedproof

In June 2014, René Thiemann could convince the international

START- and Wittgenstein-Jury of his project „Certifying

Termination and Complexity Proofs of Programs“ that is now

sponsored by the FWF with more than E 1,000,000.

The project is about automated program analysis, e.g., one

tries to automatically deduce whether in a given program

all computations produce a result and additionally estimates

the required resources. Much work has been spent on the

development of such analyzers. However, most analyzers

are complex programs and may contain errors and produce

wrong proofs. A solution to this problem is the usage of

certifiers that can validate the generated proofs. For reliabi-

lity, the soundness of the certifiers itself is formally proven

within a theorem prover. With the help of the certifiers,

several mistakes in implementations and publications have

already been spotted. The project will extend the applicabi-

lity of certifiers in two important directions, by supporting

a large class of complexity proofs as well as termination

proofs for the programming languages Java and Haskell.

Every four years, as part of the Federated Logic

Conference, the Games gather together all the

challenging disciplines from computational logic in the

form of solver competitions. The first FLoC Olympic Games

were organized in 2014, during the Vienna Summer of

Logic, and brought together theorists and practitioners

from the wide field of satisfiability solvers to automatic

theorem provers and term rewriters, from declarative

logic programming solvers and ontology reasoners to

automatic software verifiers, from programs that check

models of hardware designs to solvers that automatically

synthesize computer programs, and to provers that test

program termination. The software tools developed by

the Computational Logic group participated in three of

the fourteen different disciplines of the FLoC Olympic

Games and were awarded three of the prestigious Kurt

Gödel silver medals:

» CeTA and ConCon in the Confluence Competition

» TcT in the Termination Competition

References

M. Avanzini, C. Sternagel, and R. Thiemann. Certification of Complexity Proofs using CeTA In Proceedings of the Joint 26th International Conference on Rewriting Techniques and Applications (RTA 2015), Leibniz

International Proceedings in Informatics 36, pages 23-39,

2015.

R. Thiemann and C. Sternagel. Certification of Termination Proofs using CeTA In Proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2009), Lecture

Notes in Computer Science 5674, pages 452-468, 2009.

© Springer-Verlag.


FLoC Olympic Games CL Member Enters the FWF START Program

18 19


Databases and Information Systems (DBIS)

DBIS develops innovative methods for efficient analyses and

data storage aiming to assist users and businesses to meet their

information needs.

Research questions concerning efficient data storage and

analysis are investigated in the Database and Information

Systems group (DBIS).

Günther Specht and his team particularly tackle issues

connected to the ever increasing amount of data available,

which have triggered an unprecedented need for novel

data storage and mining solutions. DBIS aims to develop

novel methods for enabling people to deal with their daily

information needs in core research fields.

DBIS performs social media analysis of social networks (e.g.,

Twitter) to get a deeper understanding of people’s behavior.

The gained knowledge is then exploited to provide users

assistance in handling their information needs.

The vast amount of available texts raises issues of authorship

detection and plagiarism, which are also tackled. Likewise,

DBIS utilizes so-called isochrones to find all reachable points

within a given time frame; making use of any available

means of transport. Further research questions include

genetic databases and civil engineering issues.

http://dbis-informatik.uibk.ac.at

Facts & Figures

Multiple cooperations with Tyrolean companies

70 Bachelor- and Master-Theses

7 completed PhDs since 2011 and 20+ master graduates

60+ publications in renowned journals and venues in

5 years (since 2011), incl. highest rated articles with

impact factor 9

„Preis der Landeshauptstadt Innsbruck

für wissenschaftliche Forschung an der

Universität Innsbruck 2013“ for Eva Zangerle,

Scientific Research Award by the City of Innsbruck

Textbook Databases and MySQL


Univ.-Prof. Dr.

Günther Specht

Günther Specht is chair of the research group Databases

and Information Systems. He received his doctorate and his

habilitation at the Technical University Munich, where he

also held his first professorship. In 2000, he became chair

of the Database and Information Systems research group

in Ilmenau/Thüringen (Germany). In 2001 he changed to

a professorship for Database and Information Systems at

the University of Ulm (Germany). In 2006, Günther Specht

founded the DBIS group at the University of Innsbruck,

where his research interests focus on big data analysis,

NoSQL-databases, recommender systems, plagiarism

detection and genetic databases.


Research Highlights

Best Paper Award at the Fourth

International Conference on Advances

in Information Mining and Management

2014 for „What Grammar Tells About

Gender and Age of Authors“, Michael

Tschuggnall, Günther Specht

Exceptional Outstanding Paper Award at

the 38th IEEE International Convention

on Information and Communication

Technology, Electronics and Microelectro-

nics 2015 for „Cloudflow - A Framework

for MapReduce Pipeline Development in

Biomedical Research“

Development of the first Geno and

Pheno Database in cooperation with

the Division of Genetic Epidemiology,

Innsbruck Medical University

Developing and hosting of the ÖNORM

Database A-6241-2 (BIM)

New Teaching Formats incl. E-Learning

Tools, Excursions, Video-Lectures and

Inverted Classroom

Chair of the Council for Foundations

of Information Systems of the German

Society for Computer Science (GI)

© S

hu

tter

sto

ck

20 21


Senior Researchers

PhD

Michael Tschuggnall

[email protected]

Expertise

» plagiarism detection

» authorship attribution

» author profiling

» text segmentation

Dr.

Eva Zangerle

[email protected]

Expertise

» recommender systems

» social media analysis

» (music) information

retrieval

» collaborative

information systems


Dr. Michael Borovicka, Dr. Lukas Forer, Dr. Dominic Pacher, Dr. Sebastian Schönherr

Junior Researchers

Dipl.-Ing. Robert Binna, Dipl.-Ing. Rainer Breuss, Dipl.-Ing. Wolfgang Gassler, Dipl.-Ing. Nikolaus Krismer, Dipl.-Inf. Wolfgang

Pausch, Martin Pichl MSc, Doris Silbernagl MSc, Dipl.-Ing. Hansi Weißensteiner


Sylvia Thaler, Secretary, [email protected]

Matthias Weiler, System Administrator, [email protected]

22 23


References

E. Zangerle, M. Pichl, B. Hupfauf, G. Specht. Can Micro-

blogs Predict Music Charts? An analysis of the Relation-

ship between #nowplaying Tweets and Music Charts In

Proceedings of the 17th International Society for Music

Information Retrieval Conference 2016 (ISMIR 2016).

M. Pichl, E. Zangerle, G. Specht. #nowplaying on #Spo-

tify: Leveraging Spotify Information on Twitter for Artist

Recommendations In Current Trends in 15th International

Conference on Web Engineering, ICWE 2015 Workshops

(Revised Selected Papers), pages 163-174. Springer, 2015.

E. Zangerle, M. Pichl, W. Gassler, G. Specht. #nowplaying

Music Dataset: Extracting Listening Behavior from Twitter.

In Proceedings of the 1st ACM International Workshop on

Internet-Scale Multimedia Management, ISMM ‚14, pages

21-26, New York, NY, USA, 2014. ACM.

Contact [email protected]; [email protected]

Due to the steadily increasing amount of freely available

text documents through large literary databases or online

collections it becomes continuously easier to find sources

for potential plagiarism. On the other hand, it gets harder

for detection tools to identify textual misuses.

In order to avoid the enormous amount of needed text

comparisons, different algorithms have been developed to

intrinsically detect plagiarism, i.e., by only processing and

analyzing the document in question.

The main idea is to quantify the writing style of authors on

the basis of the grammar they use to formulate sentences,

and to utilize this information to identify syntactically

suspicious text fragments. Thereby a grammar tree is

calculated for each sentence, which reflects the syntactic

structure. By using different variants, these trees are

internally compared to finally identify statistical outliers,

which are marked as potential plagiarism. Evaluations

show that the results of comparable approaches can be

outperformed significantly. Moreover, the novel approach

to analyze the grammar has been rewarded with a best

paper award of an internationally renowned conference.

The microblogging platform Twitter has attracted

hundreds of millions of users throughout the last years.

Every day, approximately 400 million tweets are sent.

Among these, users also state their musical preferences

by sending so-called #nowplaying-tweets, which explicitly

state which music the user is listening to.

Based on a set of 100 million #nowplaying tweets, we

develop a music recommender system aiming to provide a

user with personalized recommendations for music tracks.

This recommendation computation includes incorporating

users‘ musical preferences, contextual information in the

form of time, location and sentiment extracted from the

tweets and hashtags within the dataset. Moreover, we also

exploit content-features such as the tempo or instrumen-

talness of a song to further improve the recommender’s

performance. Furthermore, we map Twitter users to

Spotify user accounts aiming to further gather listening

preferences from Spotify playlists and extract contextual

information such as the listener’s current activity.

POS

tag

sequ

ence

dist

ance

sentence sentence

60

50

40

30

20

10

0

S

FRAG

NP

NNP(Insanity)

S

VP

VP

:(:)

CC(and) VP

VBG(doing)

NP ADVP ADVP

DT(the)

JJ(same)

NN(thing)

RP(over)

CC(and)

RP(over)

RB(again)

VBG(expecting)

NP

JJ(different)

NNS(results)

(S1)

(S2)S

NP VP

PRP(It)

VBZ(is)

ADJP

JJ(insane)

S

VP

TO(to)

VP

VB(expect)

NP

JJ(different)

NNS(results)

SBAR

WHADVP S

WRB(when)

VP

VBG(doing)

NP ADVP ADVP

DT(the)

JJ(same)

NN(thing)

RP(over)

CC(and)

RP(over)

RB(again)

References

M. Tschuggnall and G. Specht. Detecting Plagiarism in

Text Documents Through Grammar-Analysis of Authors. In

Proceedings of the 15th Fachtagung des GI-Fachbereichs

Datenbanksysteme für Business, Technologie und Web

(BTW), LNI, Magdeburg, Germany, March 2013. GI, pages

241-259.

M. Tschuggnall and G. Specht. Using Grammar-Profiles

to Intrinsically Expose Plagiarism in Text Documents. In

Proceedings of the 18th International Conference on

Applications of Natural Language to Information Systems

(NLDB), volume 7934 of Lecture Notes in Computer Sci-

ence, Salford, UK, June 2013. pages 297-302.

M. Tschuggnall and G. Specht. Countering Plagiarism by

Exposing Irregularities in Authors Grammars. In Procee-

dings of the European Intelligence and Security Informa-

tics Conference (EISIC), Uppsala, Sweden, August 2013.

IEEE, pages 15-22.


Research Stories

Intrinsic Plagiarism DetectionMusic Recommendations

24 25


Distributed and Parallel Systems (DPS)

Facts & Figures

1 book, 3 book chapters, 34 journals

and magazine articles, 60 conference,

symposium and workshop papers

Budget of running projects

E 5.000.000,00

DPS staff members 18


Univ.-Prof. Dipl.-Ing. Dr.

Thomas Fahringer

Thomas Fahringer is Professor at the Department of Com-

puter Science where he leads the DPS group. He directs the

development of the ASKALON programming environment

to create, analyze, optimize and run distributed applica-

tions for Cloud systems. Furthermore, he leads a research

team that develops the Insieme parallelizing and optimizing

compiler for heterogeneous multicore parallel computers

ranging from mobile systems to high end supercomputers.

Thomas Fahringer has extensive experience in program-

ming languages, compiler technology, runtime systems and

performance/energy tools of high performance computing

systems. He also broadly researched Cloud application

development and system software.

Thomas Fahringer has been involved in 15 EU funded pro-

jects, three of them coordinated by him. He has published

5 books, 35 journal and magazine articles and more than

200 reviewed conference papers including 4 best/distingu-

ished IEEE/ACM/Springer papers.


Research Highlights

Coordinator of FETHPC AllScale H2020

EU Project: Extreme Scale Programming

for Exascale Parallel Architectures

Coordinator of Entice H2020 EU Project:

Decentralised repositories for transparent

and efficient virtual machine operations

Invited presentations: at international

Workshop on Dynamic Code Auto-

Tuning 2016, Barcelona, March12, 2016.

Program committee chair: of The 13th

IEEE/ACM International Symposium on

Cluster, Cloud and Grid Computing

(CCGrid 2013)

Invited Speaker: at EXDCI HPC Work-

shop, Sept 30, 2015, Rome

Associate Editor: for IEEE Transactions on

Cloud Computing

Our research objective is to simplify the application deve-

lopment, performance and energy-efficient use of multipro-

cessor parallel architectures and geographically distributed,

heterogeneous systems, which will provide the basis for

the next generation of Internet-enabled applications. Our

research focuses on three different areas:

» Cloud Computing

› application development and runtime environment

› hardware and software virtualization › performance

modelling and analysis › multi-objective scheduling ›

and quality of service

» Parallel Processing

› programming languages and paradigms › program

transformation systems › compiler analysis and opti-

mization › runtime systems › performance analysis and

interpretation

» Green IT

› energy efficient programming › analysis and model

building for energy and power › optimization for energy

and power › instrumentation and measurement of ener-

gy and power

http://dps.uibk.ac.at

The Distributed and Parallel Systems Group addresses the challenges to develop and

optimize software for multicore parallel computers and Cloud infrastructures with

high productivity, high performance and low energy costs.

© is

tock

.co

m/b

aran

ozd

emir

26 27


assoz. Prof. Dr.

Radu Prodan Senior Researchers

Dr.

Juan Durillo

[email protected]

Expertise

» multi-criteria optimization

» software autotuning

» multi-criteria scheduling

» metaheuristics

PhD

Herbert Jordan

[email protected]

Expertise

» parallel programming

languages and paradigms

» parallel algorithms and

data structures

» static program analysis

» high performance

computing

Dr.

Dragi Kimovski

[email protected]

Expertise » high performance

computing architectures

» multi-objective optimization

» applied parallel

programming for

bio-medical applications

» interconnection networks

Radu Prodan is Associate Professor of computer science at

the University of Innsbruck. His research interests comprise

programming methods, compiler technology, performance

analysis, and scheduling for high-performance scientific

computing and industrial online gaming applications.

He participated in several national and European projects

and currently he coordinates three Austrian projects in

the areas of multicore and Cloud computing. Prodan was

WP leader in the IST-034601 (edutain@grid) and 26185

(SHIWA) European projects, and is currently scientific coor-

dinator of the H2020-ICT-2014-1 644179 project ENTICE.

Currently he is co-chair of the „state-of-the-art and conti-

nuous learning in UCS“ working group of the Network for

Sustainable Ultrascale Computing (NESUS) COST Action

funded by the EU. He is the author of one book, over 100

journal and conference publications, and is the recipient of

one IEEE best paper award.


Research Highlights

Scientific Coordinator of Entice H2020

EU Project: Decentralised repositories for

transparent and efficient virtual machine

operations

Askalon Programming Environment for

Clouds

Keynote Lectures: at Austrian Computer

Science Day 2015, Vienna and 12th

International Workshop HeteroPar 2014

TEDx Talk at FH Kufstein „What is ‘the

cloud‘?“


Biagio Cosenza PhD, Dr. Gabor Kecskemeti, Dr. Hans Moritsch, Dr. techn. Vlad Nae,

Dr. techn. Simon Ostermann, Dr. techn. Simone Pellegrini, Dr. techn. Kassian Plankensteiner, Dr. John Thomson

Junior Researchers

Matthias Auer BSc, Hamid Mohammadi Fard MSc, Philipp Gschwandtner MSc, Alexander Hirsch BSc, Matthias Janetschek MSc,

Klaus Kofler MSc, Felix Kostenzer BSc, Matthias Lechner BSc, Roland Mathà MSc, Phuong Pham Thanh MSc, Dipl.-Ing. Thomas

Prokosch, Nishant Saurabh MSc, Laurent Seiler BSc, Giuseppe Ennio Torre MSc, Markus Walzthöni BSc, Peter Zangerl MSc


Doris Emprechtinger, Secretary, [email protected]

Silvia Bosetti-Haid, Secretary, [email protected] (maternity leave)

Mircea Andre Munteanu MSc, System Administrator, [email protected]

Dr. Dipl. Ing.

Peter Thoman

[email protected]

Expertise

» high-level optimizing

compilers

» strong scaling for

fine-grained task parallelism

» parallel runtime systems

» modern c++ language features

» large-scale software

development

» gpu computing and

vr visualization

28 29


An Exascale Programming, Multi-objective Optimization and Resilience Management Environment Based on Nested Recursive Parallelism

The potential of existing programming models to

effectively utilise future Exascale systems, while addres-

sing the challenges of energy-efficiency, diminishing

resilience and hardware diversity, is severely limited. It

follows that the lack of appropriate, high-productivity and

portable programming models for exascale computing

is a fundamental barrier to the future of science and

engineering. We propose the AllScale environment for

the effective development of highly scalable, resilient and

performance-portable parallel applications for exascale

systems. AllScale follows three design principles:

» Use a single parallel programming model to target all

the levels of hardware parallelism available in extreme

scale computing systems.

» Leverage the inherent advantages of nested recursive par-

allelism for adaptive parallelization, automatic resilience

management and auto-tuning for multiple optimization

objectives.

» Provide a programming interface that will be fully

compatible with widely used industry standards and

existing toolchains.

DPS coordinates this 3.2 million Euro H2020 project invol-

ving six partners from Europe.

Contact [email protected] © T

ho

mas

Fah

rin

ger

dEcentralized repositories for traNsparentand efficienT vIrtual maChine opErations

Virtualization is a key technology in Cloud computing

that allows users to run multiple virtual machines (VM)

with their own application environment on top of physical

hardware. Virtualization enables scaling up and down of

applications by elastic on-demand provisioning of VMs in

response to their variable, while guaranteeing the desired

level of Quality of Service to the end-users. Typically, VMs

are created using Cloud provider-specific templates (so-

called VM images) that are stored in proprietary reposito-

ries, leading to provider lock-in and hampering portability

or simultaneous usage of multiple federated Clouds.

ENTICE (http://www.entice-project.eu/) is a H2020 project

coordinated by the University of Innsbruck that aims to

wave five critical barriers that prevent many users from

industry, business and academia to effectively use Cloud

resources and virtualised environments for their compu-

ting and data processing needs:

ntice

©En

tice

Research Stories

» manual, error-prone and time consuming VM image

creation,

» monolithic VM images with large deployment and

migration overheads,

» proprietary unoptimised VM repositories,

» inelastic resource provisioning, and

» lack of information to support effective VM image

optimization.


ALLSCALE ENTICE

AllScale

30 31


Interactive Graphics and Simulation (IGS)

The Interactive Graphics and Simulation (IGS) group was

founded at the University of Innsbruck in 2014 by Matthias

Harders. The scientific focus of the group is on methods

and algorithms in the areas of physically-based simulation,

computer haptics, and virtual/augmented reality. Further

interests are related to human-computer interaction and

multi-modal data visualization.

The overarching and combining aspect of the research is

the application of the techniques in the medical domain.

Examples are the planning of surgical interventions as well

as the support of medical data segmentation. Especially the

development in the context of surgical training simulators

is a key focus of the group.

Current research deals with the investigation and development

of methods that allow for an increase in simulation detail, for

instance the calculation of detailed soft tissue deformations

or of force feedback, while still maintaining real-time

constraints. To this end, fully data-driven as well as data-based

hybrid strategies are followed, which integrate pre-computed

or sensor-acquired data into interactive simulations.

http://igs.uibk.ac.at

Facts & Figures

Group founded in 2014

7 IGS team members (originating from

7 different countries)

5 book chapters, 11 journal papers,

12 conference papers published since 2011

2.5M EUR third party funding for active research

projects from 2011

Well-equipped research lab with state-of-the-art

AR/VR/Haptics devices and technology

Univ.-Prof. Dipl.-Inf. Dr.

Matthias Harders

Research Highlights

General Chair World Haptics 2017

Liaison Chair Asia Haptics 2016

Keynote Co-Chair MICCAI 2018

Associate Editor: IEEE Transactions on Haptics,

ACM Transactions on Applied Perception,

Presence-MIT Press Journal, Springer Series on Touch

and Haptic Systems, Springer Virtual Reality Journal

Co-Founder VirtaMed AG, Zurich

BIT School Coordinator LFUI

Member of LFUI Ethical Committee

D-A-CH Project PROSUP 2016-2019

Matthias Harders, born 1974 in Leer, Germany, studied

computer science with a focus on Medical Informatics at

the Universities of Hildesheim, Braunschweig, and Houston,

Texas, until 1999. Thereafter, he completed at ETH Zurich

his PhD in 2003 and his habilitation – with a venia legend in

Virtual Reality in Medicine – in 2007. At ETH he had founded

and led since 2003 a research group in the same domain.

After scientific stays in the USA, Japan, and Australia, as

well as a position as Reader at the University of Sheffield,

UK, Matthias Harders accepted an offer for the Chair

in Computer Graphics at the University of Innsbruck in

2014. There he established the research group Interactive

Graphics and Simulation.

His research interests are in physically-based simulation,

computer haptics, and virtual/augmented reality. He is

co-founder of the IEEE Technical Committee on Haptics,

the EuroHaptics Society, and the IEEE Transactions on

Haptics. In 2008 he co-founded the ETH spin-off company

VirtaMed, which develops medical training systems.


Our mission is to undertake research and development of algorithms and

hardware tailored to interactive simulations, with main

application in the medical domain.


©V

irtaM

ed

©Ra

diol

ogy,

USZ

©IG

S, U

IBK

32 33


Real environment

Simulatedenvironment

Data-Driven Approach

Senior Researchers

PhD

Mao Li

[email protected]

Expertise

» computational

biomechanics

» biomechanical engineering

» medical image registration

» tumor growth modelling

PhD

Yeongmi Kim (Affiliate)

[email protected]

Expertise

» rehabilitation engineering

» assistive technology

» psychophysics

» human machine computer

interaction

» haptic feedback

Junior Researchers

Evgeny Zuenko MSc, Anatolii Sianov MSc, Quang Van Ha MSc


Lisa Binderlehner BA, Secretary, [email protected] © In

tera

ctiv

e G

raph

ics

and

Sim

ulat

ion,

IGS

The term haptics is related to the sense of touch. In this

context, haptic rendering denotes the process of computing

and displaying synthetically generated haptic stimuli in

response to user interaction.

In our work we have introduced and investigated

different data-driven haptic approaches. The underlying

idea is to acquire interaction data during a recording session,

in which a user manipulates an object with appropriate

probing tools. Thereafter, the recorded data are analyzed,

prepared for the subsequent rendering phase, and finally

displayed on haptic devices. The strength of such an approach

is the ability to display complex material phenomena

with high accuracy, without using any underlying models.

In recent work we have focused on unconstrained bimanual

interaction with deformable solids. As an extension of

our prior work, we examined material parameterization

in frequency space allowing for a considerable reduction

of data dimensionality and setting up of a rheological

material database. This allows to easily generate new

simulated touchable objects, based on very few user

interactions with unseen samples. This paves the way to

new paradigms of recording and transferring tactile object

properties to remote users via the Internet.

References

A. Sianov and M. Harders, „Data-Driven Haptics: Addressing

Inhomogeneities and Computational Formulation“, in

Proc. of WorldHaptics, pp. 301-306, 2013.

R. Hoever, G. Kosa, G. Szekely, M. Harders, „Data-Driven

Haptic Rendering - from Viscous Fluids to Visco-Elastic

Solids“, in IEEE Transactions on Haptics, vol. 2(1), pp.

15-27, 2009.

R. Hoever, M. Harders, and G. Szekely, „Data-Driven

Haptic Rendering of Visco-Elastic Effects“, in Symposium on

Haptic Interfaces for Virtual Environments and Teleoperator

Systems, pp. 201-208, 2008.


Research Stories

Data-Driven Haptic Rendering

34 35


Intelligent and Interactive Systems (IIS)

Research at the Intelligent and Interactive Systems (IIS)

group is motivated by autonomous robots for diverse

tasks in uncontrolled environments such as human-robot

collaborative manufacturing or households. Such

deployments require highly flexible and robust perceptual,

motor and reasoning capabilities. IIS seeks to advance

these using machine learning methods, enabling robots

to synthesize and improve sensorimotor behavior with

experience.

For example, a household robot requires rich conceptual

understanding of dishes in order to handle them according

to their purpose and without breaking them. Since it is

impossible to engineer such knowledge into the system,

IIS develops methods allowing the robot to learn object

properties and handling by sensorimotor exploration and

from instruction. Of particular interest is visual perception,

as well as learning reusable concepts such as generic world

knowledge or abstractions that in turn serve as a basis for

future, more complex learning problems.

https://iis.uibk.ac.at

Facts & Figures

Robot Equipment: Arms, grippers, head,

and a mobile base totalling 500.000 E

Research Funding: 4.5 M E

from 6 EU projects since 2011

Invited Talks: 16 since 2011


Univ.-Prof.

Justus Piater

Research Highlights

Learning complex behaviors from

exploration: Similarly to a young child,

our robot learns to stack objects or to

pick up and shelve books after playful

interaction with individual objects.

ScurV, 3D Descriptor for Object

Classification: Inspired by visual

neuroscience, our computer vision

method outperforms the competition by

a clear margin.

Visual object models for detection,

recognition and pose estimation:

This method is distinguished by its

generic, probabilistic

formulation, accommodating diverse

feature types and nonrigid objects,

including human hands.

Grasp Densities: Sampling methods for

empirical grasp learning.

Justus Piater holds a Dipl.-Inf. degree from the University

of Magdeburg, Germany, and MSc and PhD degrees

from the University of Massachusetts Amherst, USA, all

in computer science. Before joining the University of

Innsbruck in 2010, he was a visiting researcher at the Max

Planck Institute for Biological Cybernetics in Tübingen,

Germany, professor of computer science at the

University of Liège, Belgium, and Marie-Curie research

fellow at GRAVIR-IMAG, INRIA Rhône-Alpes, France. His

research interests focus on visual perception, learning

and inference in sensorimotor systems and other dynamic

and interactive scenarios, and include applications in

autonomous robotics and video analysis. He has published

more than 150 papers in international journals and

conferences, several of which have received best-paper

awards, and currently serves as Associate Editor of the

IEEE Transactions on Robotics and as Dean of the Faculty

of Mathematics, Computer Science and Physics at the

University of Innsbruck.


IIS enables autonomous robots to perceive and act flexibly and robustly

in unstructured environments, leveraging machine learning methods

to build perceptual, motor, and reasoning skills.

36 37


Senior Researchers

Ass.-Prof. Dr.

Antonio Rodríguez-Sánchez

antonio.rodriguez-sanchez@

uibk.ac.at

Expertise

» computer vision

» computational

neuroscience

» machine learning

Dr.

Özgür Erkent

[email protected]

Expertise

» computer vision

» robot vision


Dr. Heiko Hahn, Dr. Mirela Popa, Dr. Sandor Szedmak, Dr. Emre Ugur

Junior Researchers

Dipl.-Ing Gregor Ehrensperger BSc, Simon Haller BSc, Simon Hangl MSc, Senka Krivic MSc, Safoura Rezapour MSc, Alexander

Rietzler MSc, Dadhichi Shukla MSc, Sebastian Stabinger MSc


Cornelia Vidovic, Secretary, [email protected]

Simon Haller, System Administrator, [email protected]

Dr.

Philipp Zech

[email protected]

Expertise

» robot grasping

» software engineering

» software testing

Children acquire complex knowledge and skill by first

learning simple things, based on which they learn

increasingly complex things. As a small step in this

direction, our robot Robin learns to play, so to speak, with

building blocks. Faced with a few hand-size objects such

as boxes, balls, and cups, it begins to poke at them in

various directions and observes how they react. Later he

tries to predict if he releases one object above another. In

this way, he learns, for example, that an object that rolls

away if poked at from the side is unfit for placing another

object on top, as it will tumble. Such objects, however,

will solidly stay put if released above an object that does

not resist the finger if poked at from above (i.e., is open).

Rules discovered in this way by playful exploration enable

Robin to build stable towers from objects it has not seen

during learning. It can even learn that an open object

will lose this property if a large, rolling object is released

above, but - with some probability - will keep it if a slim

object is released above.


Like a Child, Robot Learns to Play With Building Blocks

© In

telli

gent

and

Inte

ract

ive

Syst

ems,

UIB

K

Research Stories

38 39


Humans can recognize objects effortlessly under variations

in location, lighting and viewpoint. A hierarchy of neuronal

layers exists in the visual cortex, the area of the brain

dedicated to the analysis of vision. Each layer contains

millions of neurons that apply different kinds of processing

to their input. Computational neuroscience is a recent

research area whose aim is to shed some light on the

computations that neurons perform and hypothesize how

they are connected. There are two main complementary

hypotheses on how such an (almost) perfect system analysis

visual information. The first one models neural behavior

through mathematical formulation, their connections

“hard-wired” in the neural network. The knowledge for

these systems implementation is based on the advances

in neurophysiology. The second one deals with learning

those connections and behavior, extracting the necessary

knowledge by exposing the system to millions of images.

References

Antonio Rodríguez-Sánchez, Mazyar Fallah, Ales Leonardis,

Hierarchical object representations in the visual cortex and

computer vision . Frontiers in Computational Neuroscience

9 (142), 2015.

Hanchen Xiong, Antonio Rodríguez-Sánchez, Sandor

Szedmak, Justus Piater, Diversity priors for learning early

visual features. Frontiers in Computational Neuroscience

9 (104), 2015.

Antonio Rodríguez-Sánchez, Heiko Neumann, Justus

Piater, Beyond Simple and Complex Neurons: Towards

Intermediate-level Representations of Shapes and Objects..

Künstliche Intelligenz 29, pp. 19–29, 2015.

Norbert Krüger, Peter Janssen, Sinan Kalkan, Markus

Lappe, Aleš Leonardis, Justus Piater, Antonio Rodríguez-

Sánchez, Laurenz Wiskott, Deep Hierarchies in the Primate

Visual Cortex: What Can We Learn For Computer Vision?.

IEEE Transactions on Pattern Analysis and Machine

Intelligence 35 (8), pp. 1847–1871, 2013.

Antonio Rodríguez-Sánchez, John Tsotsos, The roles of end-

stopped and curvature tuned computations in a hierarchical

representation of 2D shape. PLoS ONE 7 (8), 2012.


© W

ikim

edia

How can a robot learn complex manipulation skills

involving everyday objects and unstructured clutter? One

way is to equip it with a library of simple skills that can

be programmed or learned individually, such as goal-

directed pushing of objects, grasping in various ways, and

placing them by dropping them or putting them down in

a specific pose. Given such a skill library, our robot can

learn to compose, by trial and error, simple actions into

complex manipulations. For example, picking up a book

lying flat on a table and placing it upright on a shelf

requires dedicated skills.

Instead of learning to pick up a book from any pose, it

suffices to know how to pick it up from one specific pose,

and learn how to move the book into this pose by an

appropriate preparatory action. Such actions may in turn

require preparatory sensing or manipulation actions. Any

chain of actions learned in this way is added to the skill

library. In this way, the robot can acquire increasingly

complex skills without explicit teaching or planning.

Contact [email protected] © In

telli

gent

and

Inte

ract

ive

Syst

ems,

UIB

K

Learning Complex Manipulation Skills For Cleaning Up Clutter Creating artificial brains

40 41


Quality Engineering (QE)

Quality Engineering strives for end-to-end IT quality

management employing model-based techniques.

The Quality Engineering research group develops methods

and tools for the end-to-end quality management of the

new generation of inter-connected, inter-organizational,

agile IT systems. Quality management in this context has

to cope with highest demands, e.g. in terms of security,

safety and dependability, to coordinate the tasks of

manifold stakeholders and to efficiently handle change.

The QE team develops tool-based methods and conducts

empirical studies by combining model engineering,

workflow enactment, data analytics and automation

capabilities.

An internationally leading position has been reached in

the areas of security requirements engineering, workflow

management, risk-based testing and IT asset documentation.

This is manifested through 217 publications and 31 third-

party funded research projects with a budget of 6.8 million

Euro in the past five years.

https://qe-informatik.uibk.ac.at

Facts & Figures

58 third party funded projects with a budget

of 8 million Euro (QE LaB Laura Bassi Centre

of Expertise - since 2009, EU-FP7 projects

SecureChange and PoSecCo, 8 FWF projects)

217 publications

Selected industrial collaboration partners:

Infineon, Siemens, Porsche Informatik, Swiss Life,

Allgemeines Rechenzentrum, MPREIS

Selected hosted conferences:

BPM 2015, ACM/IEEE MODELS 2012,

ACM SACMAT 2011


Univ.-Prof. Dr.

Ruth Breu

Ruth Breu has been full professor and head of the Quality

Engineering research group since 2002, and was

instrumental force in setting up the Department of Com-

puter Science at the Universität of Innsbruck. Ruth Breu

passed her degrees in computer science at the Universität

Passau and Technische Universität München. In addition,

she can draw upon several years of practical experience in

software engineering consulting.

Her research interests include requirements engineering,

model engineering, security engineering and enterprise

architecture management.


Research Highlights

Member of Board of FWF, the Austrian Science Fund

Head of Department of Computer Science

Head of the QE LaB Laura Bassi Centre of Expertise

Co-Founder of QE LaB Business Services GmbH

Editorial Board Member of Springer Software

and Systems Modeling

QUALITY ENGINEERING

Pantone 3015 CCMYK = 100/52/14/1sRGB = 0/102/159

Pantone 430 CCMYK = 55/42/36/3sRGB = 130/138/143

Font: Eurostile

© iS

tock

phot

o

42 43


assoz. Prof. Mag. Dr.

Barbara Weber

Barbara Weber is Associate Professor at the University of

Innsbruck (UIBK) and Full Professor and Head of the Soft-

ware Engineering Section at the Technical University of

Denmark (DTU) since February 2016. Barbara obtained her

PhD degree in 2003 and her habilitation in 2009 from the

University of Innsbruck. In addition, Barbara has worked

for two years as a software engineer in the private sector.

Her research interests include human and cognitive

aspects of software engineering and information systems

engineering, process modeling, business process manage-

ment, flexible and adaptive software systems.


Senior Researchers

Priv.-Doz. Dr.

Michael Felderer

[email protected]

Expertise

» software testing

» software processes

» security testing

» requirements

engineering

» empirical software

engineering

Dr.

Andrea Burattin

[email protected]

Expertise » process mining

» data mining

» process modelling

» business process

management

Dr.

Matthias Farwick

[email protected]

Expertise

» enterprise architecture

management

» it-architecture

management

» domain-specific

languages

Research Highlights

Head of the Software Engineering

Section at DTU since February 2016

Lead of the Business Process

Management Research Cluster at UIBK

Editorial board member of Elsevier

Information Systems, Springer Computing

General Chair International Conference on

Business Process Management (BPM) 2015

Keynote speaker at Enterprise Computing

Conference (EDOC) 2015©

Cla

ud

ia B

ach

lech

ner

Dr.

Jakob Pinggera

[email protected]

Expertise

» business process

management

» process of process

modeling

» process model

understandability

44 45


QE Lab is a competence centre funded within the Laura

Bassi Centres of Expertise initiative of the Federal Ministry

of Science, Research and Economics and by industry

partners. Since 2009 Ruth Breu and her team have

conducted collaborative research projects in the areas of

model engineering, enterprise architecture management,

risk-based testing and security engineering.


Dr.

Thomas Trojer

[email protected]

Expertise

» security engineering

» electronic healthcare

» model engineering

» it-architecture

management

Dr.

Stefan Zugal

[email protected]

Expertise

» business process

management

» process model

understandability

» test driven modeling

» process of process

modeling


Dr. Berthold Agreiter, Dr. Michael Hafner, Dr. Frank Innerhofer-Oberperfler, Dr. Basel Katt, Dr. Waqar Mehmood, Dr. Mukhtiar

Memmon, Dr. Joana Chimiak Opoka, Dr. Philipp Zech

Junior Researchers

Ing. Michael Brunner MSc, Dipl. Ing. Boban Celebic, Dipl. Ing. Matthias Gander, Cornelia Atzinger MSc, Florian Häser MSc,

Martin Häusler MSc, Mag. Manuel Neurauter, Mag.Emmanuel Nowakowski MSc, Dipl. Ing. Clemens Sauerwein MSc


Andrea Jungmann, Secretary, [email protected]

Nicolas Stolz, System Administrator, [email protected]

Research Stories

Quality Engineering Laura Bassi Centre of Expertise

Mag. BSc MSc MSc PhD

Christian Sillaber

[email protected]

Expertise

» Governance, Risk and

Compliance Management

» Information Systems

Security Management

» Cyber Threat

Intelligence Sharing

46 47


Txture has been developed in several iterations in QE LaB

collaborations with Infineon Technologies IT-Services and

Allgemeines Rechenzentrum. In the next step, Txture will

be placed on the market.

Contact [email protected], [email protected]

Risk-based testing has a high potential to improve efficiency

and effectiveness of the software test process as it helps

to optimize the allocation of resources and provides

decision support for all phases of testing, i.e., test design,

implementation, execution and evaluation. However, for

many organizations the integration of risk-based testing

into an existing test process is a challenging task. To

master it successfully, a well-founded methodology

and continuous empirical evaluation of the integration

progress is required. Quality Engineering is amongst the

world leading research teams in risk-based testing and

contributed several approaches based on software

estimation and prediction as well as empirical studies to

optimize test processes and software quality with the aim

to detect critical issues in software as early as possible.

Innovative risk-based testing approaches have been

introduced and evaluated in several companies including

Kapsch CarrierCom, Bachmann electronic, mgm technology

partners, Swiss Life, Porsche Informatik, BVA and several

SMEs in Austria.


References

» M. Felderer, R. Ramler: Integrating risk-based testing

in industrial test processes. Software Quality Journal,

22(3):543-575, 2014

» M. Felderer, I. Schieferdecker: A taxonomy of risk-based

testing, International Journal on Software Tools for

Technology Transfer, Springer, 16(5):559-568, 2014

» R. Ramler, M. Felderer: A Process for Risk-Based Test

Strategy Development and Its Industrial Evaluation. In

Product-Focused Software Process Improvement, 355-

371, 2015 (Best Paper Award)

Risk-Based Testing

1.

2.

3.

4.5.

6.

7.

A B C D E Avg

high

low

Usefulness of ... A B C D E Avg sdev1. Definition of Risk Items 2 1 1 1 2 1.4 0.49

2. Probability Estimation 2 2 1 1 1 1.4 0.49

3. Impact Estimation 1 2 1 1 1 1.2 0.40

4. Computation of Risk Values 1 5 1 2 1 2.0 1.55

5. Determination of Risk Levels 1 1 1 2 1 1.2 0.40

6. Definition of Test Strategy 1 1 1 3 1 1.4 0.80

7. Refinement of Test Strategy 1 2 3 2 2 2.0 0.63

StructureApplication Parts & Components P1 P2 P3 P4 P5 P6 H M L H M L

Server L M H L H M 2 2 2 1application M M H H H M 3 3 0 1

api L L L L L L 0 0 6 1impl M M M H H M 2 4 0 1

bl H H M H H M 4 2 0 1ctrl M L L M M L 0 3 3 1dao L M L L M L 0 2 4 1

other L L L M L L 0 1 5 1Client H M H H M H 4 2 0 1

JavaScript H M H H M H 4 2 0 1application\. H M L L L 1 1 3 1basescreen L L L L L 0 0 5 1feature1 M M M M M L 0 5 1 1

feature1\. M M M M 0 4 0 1feature1\subfeature1 M M H L 1 2 1 1feature1\subfeature2 L M M M 0 3 1 1

feature2 M L M M L 0 3 2 1feature2\. M L L M 0 2 2 1feature2\subfeature1 M L L L 0 1 3 1feature2\subfeature2 L M M M 0 3 1 1

feature3 L M L H L L 1 1 4 1feature4 L L L L L 0 0 5 1feature5 H M M M L 1 3 1 1

feature5\. L M L L 0 1 3 1feature5\subfeature1 H M M M 1 3 0 1feature5\subfeature2 H M L L 1 1 2 1feature5\subfeature3 L M L L 0 1 3 1

feature6 H H H M M M 3 3 0 1sharedlib L L L L L L 0 0 6 1sharedlib\uicomponents H H H H M H 5 1 0 1other L 0 0 1 1

JSP M L L L L L 0 1 5 1application M L L L 0 1 3 1tags L L L 0 0 3 1other L M 0 1 1 1

CSS M L L M L L 0 2 4 18 14 14

Estimates Counts Profile

Txture is an innovative IT asset management framework

developed to address the challenges of large-scale, agile

and highly dynamic IT asset infrastructures of modern

data centres. Txture has been developed with the vision

to drive IT asset documentation into the era of interactive

maps. The three building blocks of Txture are

» an infrastructure to establish a high level of automation

in IT asset documentation, e.g. employing data sources

from DevOps and Continuous Delivery

» interactive graphical representations of IT asset models,

e.g. with zoom-in/zoom-out and information aggregation

capabilities

» flexible meta models to adapt the IT asset modelling

framework to company-specific needs.

Txture – Interactive IT Asset Management

48 49


Facts & Figures

established in March 2015

1 professor

1 post-doc

6 PhD students at 3 different locations

in Austria and Germany

6 visiting researchers in 2015/2016

2 administrative staff

Univ.-Prof. Dr.

Rainer Böhme

Research Highlights


Conference on Financial Cryptography and

Data Security 2015

Keynote speaker at the 7th IEEE International

Workshop on Information Forensics and

Security 2015

Speaker at IACR Summer School on Blockchain

Technologies supported by the International

Association for Cryptologic Research 2016

Program committee co-chair of the 25th

New Security Paradigms Workshop 2016

Rainer Böhme is Professor for Security and Privacy

endowed by Archimedes Privatstiftung, at the Department

of Computer Science. Prior to that he was Assistant

Professor of Information Systems and IT Security at

the University of Münster, Germany, and before that

postdoctoral fellow at the International Computer Science

Institute in Berkeley, California. He holds a Master’s degree

in communication science and economics and a doctorate

in computer science, both from Technische Universität

Dresden in Germany. A common thread in his scientific

work is the interdisciplinary approach to solving exigent

problems in information security and privacy, specifically

concerning cyber risk, digital forensics, cybercrime, and

crypto finance.


Modern information systems serve and connect people with many different interests.

We are committed to developing and evaluating technical components for IT systems

that for principled reasons resolve potential conflicts, or avoid them altogether.

In a world where information is considered a vital asset

and computer networks form the backbone of wealth and

growth, a thorough understanding of the principles of

information security is no longer the sole domain of spies

and specialists. Instead, knowledge of information security

and privacy belong to the set of indispensable skills for

every citizen – just as in the offline world everyone knows

how to operate door locks.

The Security and Privacy Lab at the Department of

Computer Science of the University of Innsbruck is known

for its interdisciplinary approach to solving a range of

research questions. Members of the group are particularly

interested in digital forensics, virtual currencies, privacy-

enhancing technologies, economic and behavioral aspects

of information security and privacy, as well as cybercrime.

Their work has influenced the way researchers think and

proceed around the globe. Many relevant concepts in

these fields have originated in ideas and works of (former)

members of the extended research group.

http://informationsecurity.uibk.ac.at

© p

ixab

ay.c

om

Security and Privacy Lab (SEC)Archimedes endowed professorship>> 3. The Research Groups at the Department of Computer Science

50 51


Senior Researchers

Dr.

Pascal Schöttle

[email protected]

Expertise

» steganography

» image forensics

» public-key cryptography

» network anomaly detection

Junior Researchers

Svetlana Abramova MSc, Olaf Markus Köhler MSc, Stefan Laube MSc, Sebastian Luhn MSc, Malte Möser MSc, Dipl.-Jur. Paulina

Jo Pesch, Markus Riek MSc


Stephanie Senoner, Secretary, [email protected]

Felix Erlacher, System Administrator, [email protected]

Research Stories

For further information see:

References

Riek, M., Böhme, R., Ciere, M., Ganan, C., and van Eeten,

M. Estimating the Costs of Consumerfacing Cybercrime:

A Tailored Instrument and Representative Data for Six

EU Countries. In Workshop on the Economics of Information Security (WEIS). University of California at

Berkeley, 2016.


E-CRIME – Economic impacts of cyber crime

5 6 7 8

Loss of time in hours (average)

30

60

90

120

150

Initial loss (Mc,m,50) Out-of-pocket loss (Oc,m,50)

Mon

etarylosses

ine

(harmon

ized

)

Online shop-ping fraud

Identity theftwrt. o. shopping

Identity theft wrt. online banking

Identity theft wrt. bank cards

Identity theft wrt. PayPal

Extortion

Scams

In an increasingly connected world cyber crime has

affected almost everyone at some point in their lives.

Unfortunately, estimates of the prevalence and costs are

still rare or unreliable. E-CRIME aims to measure the spread

of cyber crime in non-information and communications

technology (non-ICT) sectors from the perspective of its

economic and social impact for different levels of society.

After that, concrete measures to manage and deter cyber

crime are developed based on this empirical evidence.

Our main contribution is the estimation of the economic

impact of cyber crime, in particular consumer-facing

cyber crime. We have collected empirical data through

representative victimization surveys in six European

countries. Selected results, illustrated in the cyber crime

impact map below, include:

» Losses comprise monetary losses, but also the time

spend to deal with incidents.

» The impact on the victims varies for different types of

cyber crime.

» Victims often receive compensation payments, mostly

by financial and payment service providers, which

reduce initial losses significantly.

52 53


Computer and Communication Systems (CCS) (2011-2014)

Our research objectives include adaptive wireless networ-

king, embedded system design, and network security with

applications in sensor networks, vehicular communication,

industrial wireless networks, bio-inspired and nano-

networking, and monitoring and attack detection.

Self-organization in massively distributed systems and

adaptation to dynamics in the environment are key

elements of future networking infrastructures. Network

architectures need to be able to identify available

services and capabilities. In order to maintain scalability,

coordination among participating entities can not only

depend on globally synchronized state information.

Self-organization is regarded the key paradigm for a new

era of networking architectures and protocols. Our research

activities are focused on adaptive wireless networking and

self-organization methods with applications in wireless ad

hoc and sensor networks, inter-vehicular communication,

bio-inspired and nano-networking, and network security.

http://www.ccs-labs.org

Facts & Figures

BIT PhD School & Double Degree

Top-tier publications

International research collaborations


Univ.-Prof. Dr.

Falko Dressler

Falko Dressler is full professor for computer science and

head of the Distributed Embedded Systems Group at the

Dept. of Computer Science, University of Paderborn. He

is member of the University Senate. Before moving to

Paderborn, he was a full professor at the Department of

Computer Science, University of Innsbruck and an Assistant

Professor at the Dept. of Computer Science, University of

Erlangen. Dr. Dressler received his M.Sc. and Ph.D. degrees

from the Dept. of Computer Science, University of Erlangen

in 1998 and 2003, respectively.

He is editor for journals such as IEEE Trans. on Mobile Compu-

ting, Elsevier Ad Hoc Networks, Elsevier Computer Communi-

cations, and Elsevier Nano Communication Networks. He was

guest editor of special issues on self-organization, autonomic

networking, vehicular networks, and bio-inspired communi-

cation for IEEE Journal on Selected Areas in Communications

(JSAC), Elsevier Ad Hoc Networks, and others. Dr. Dressler

was General Chair of IEEE/ACM BIONETICS 2007, IEEE/IFIP

WONS 2011, IEEE VNC 2014, and ACM MobiHoc 2016, TPC

Co-Chair for IEEE INFOCOM, IEEE VNC, IEEE VTC, IEEE GLO-

BECOM, and ACM MSWiM, and Poster/Demo Chair for ACM

MobiCom. He regularly serves in the program committees of

leading IEEE and ACM conferences. Dr. Dressler authored the

Research Highlights

DFG Research Group BATS

INTERREG Project en-act

BMBF Project Padiofire

BSI Project monk-it2

The Computer and Communication Systems Group

was founded in May 2011 by Falko Dressler.

textbooks Self-Organization in Sensor and Actor Networks

published by Wiley in 2007 and Vehicular Networking

published by Cambridge University Press in 2014. Dr. Dressler

has been an IEEE Distinguished Lecturer as well as an ACM Dis-

tinguished Speaker in the fields of inter-vehicular communica-

tion, self-organization, and bio-inspired and nano-networking.

Dr. Dressler is a Senior Member of the IEEE (COMSOC, CS,

VTS) as well as a Senior Member of ACM (SIGMOBILE), and

member of GI (GIBU, KuVS). He is actively participating in

the IETF standardization. His research objectives include

adaptive wireless networking, self-organization techniques,

and embedded system design with applications in ad hoc

and sensor networks, vehicular networks, industrial wireless

networks, and nano-networking.

Contact [email protected]© F

alko

Dre

ssle

r

54 55



Dr. Stefan Podlipnig, Dr.-Ing. Christoph Sommer

Former Junior Researchers

Dipl.-Inf. Bastian Bloessl, Florian Hagenauer MSc, Stefan Joerer PhD, Marcel Kiessling MSc, Florian Klingler MSc, Margit Mutschlech-

ner MSc, Noorsalwati Nordin MSc, Michele Segata PhD

Research Stories

Falko Dressler, Margit Mutschlechner, Bijun Li, Rüdiger

Kapitza, Simon Ripperger, Christopher Eibel, Benedict

Herzog, Timo Hönig and Wolfgang Schröder-Preikschat,

„Monitoring Bats in the Wild: On Using Erasure Codes for Energy-Efficient Wireless Sensor Networks,“ ACM Transactions on Sensor Networks (TOSN), vol. 12 (1),

February 2016.

Falko Dressler, Simon Ripperger, Martin Hierold, Thorsten

Nowak, Christopher Eibel, Björn Cassens, Frieder Mayer,

Klaus Meyer-Wegener and Alexander Koelpin, „From Radio Telemetry to Ultra-Low Power Sensor Networks - Tracking Bats in the Wild,“ IEEE Communications Magazine, vol. 54 (1), pp. 129-135, January 2016.


Bio-inspired Networking and Nano-Communication

The use of cross-disciplinary approaches for developing

efficient communication methods opens new dimensions

for methodological approaches in the field of massively

distributed communication systems. We are investigating

techniques known from molecular biology to find solutions

for programming sensor networks, to achieve improved

security, to build adaptive algorithms based on promoter/

inhibitor systems, and to enable efficient communication

between nano-sensors and nano-machines.

References

Muhammad Nabeel, Bastian Bloessl and Falko Dressler,

„On Using BOC Modulation in Ultra-Low Power Sen-sor Networks for Wildlife Tracking,“ Proceedings of IEEE

Wireless Communications and Networking Conference

(WCNC 2016), Doha, Qatar, April 2016, pp. 848-853.

56 57


SANETs represent a class of networked embedded

systems supported by integrated sensing and actuation

capabilities. We are working on algorithms and methods

for coordination in massively distributed heterogeneous

systems - relying on the basic methods of self-organization.

Besides other aspects, we are focusing our research on

programming techniques for network-centric communi-

IVC has become a major research field in the wireless

networking community, driven by the increasing demand

to exchange information between vehicles for safety and

comfort services. We investigate communication tech-

niques for building vehicular ad hoc networks (VANETs) for

decentralized exchange of road traffic information, e.g. to

inform other cars about accidents and congestion. Using

our simulation environment, Veins (vehicles in network

simulation), which bi-directionally couples models for road

traffic and network simulation, we are able to precisely

investigate the effects of efficient road traffic planning

and effects of communication protocols including the

caused CO2 emission. Furthermore, security and privacy

issues are addressed, especially focusing on distributed

traffic information systems (TIS).


Inter-Vehicular Communication (IVC) Wireless Sensor and Actor Networks (SANETs)

cation and data management. In particular, our protocol

VCP (virtual cord protocol) needs to be mentioned that

allows organizing sensor nodes on a virtual cord for

optimized data management and routing. Programming

is supported for example by RSN (rule-based sensor

network), which is a rule language with small footprint

and inherent support for heterogeneous node hardware.

Wireless Networks and Mobile Internet

Besides other issues, the development and analysis of

efficient MAC protocols and routing techniques are key

instruments to develop mobile applications. We contribute

in this domain by developing specialized MAC protocols

for industrial application fields and by investigating

routing strategies for mobile ad hoc networks (MANETs).

We closely collaborate with the industry to adapt existing

MAC protocols for low-latency transmissions in industrial

automation fields. With our strong background in perfor-

mance evaluation, we are also contributing to the MANET

domain, e.g. in form of reference implementations and

simulative analysis of protocols such as DYMO (dynamic

MANET on demand).

Network Monitoring and Attack Detection

Besides the focus on wireless networks, we are investi-

gating issues in the field of network security focusing on

high-speed monitoring, traffic identification, and anomaly

detection. In this field, we developed the monitoring

probe Vermont (versatile monitoring toolkit) for netflow

monitoring and packet sampling. Using this tool, we inte-

grate the analysis of network flows for traffic classification

(normal, anormal, peer-to-peer, etc.). We are also actively

contributing to the IETF standardization in the field of IPFIX

(IP flow information export) and PSAMP (packet sampling).

58 59


4. Computer Science Studies in Innsbruck

© s

hutt

erst

ock

60 61


At a Glance 2011 - 2016

4 Habilitations

46 PhD Graduates

122 Master Graduates

In the Bachelor Program, the Department of Computer

Science offers broad education in core theoretical, tech-

nical and practical computer science, as well as in applied

computer science.

Complementary numerous points of specialization are

offered for the Master and the PhD Program, to take

account of current topics and developments. Elective

modules from theoretical computer science, advanced

Internet-based communications and networking systems,

information retrieval and new database models and data

warehouse systems, enterprise architectures, information

security, machine learning, computer vision, advanced

compiler construction, heterogeneous manycore parallel

computing, distributed Cloud systems, and Semantic Web

deal with these developments.

All lectures in the Master Program and the PhD Program are

conducted in English. Via supported study programs, a part

of the studies can be carried out at partner universities in

Europe (e.g. Amsterdam, Bergen, Cluj-Napoca, Copenhagen,

Helsinki, Oslo, Salerno, Sevilla), Canada (Toronto), Japan

(Kanazawa and Nagoya), Russia (St. Petersburg, Moscow,

Innopolis), and in the USA (New Orleans and Omaha).

Studienbeauftragter

assoz. Prof. Dr.

Radu Prodan

Since its foundation in 2001 the computer science studies

at the University of Innsbruck have in average 500 students

registered in the Bachelor study, 100 in Master and 50 in

the Teaching Degree (Lehramt). In terms of graduations, the

Bachelor studies have about 50 per year, the Master studies

slightly over 20, while the Teaching Degree 6 in average. The

highly successful research conducted at the Department of

406507

603 622 593 563 527 472 440 407 436 453552 517 511

29 71 112 131152

141126

131 122

114 130 150

0

0

022 28 38 52

5158

6667 61

68 64 6514 3446

6279 89

101 103 101

2001 2002 2003 2004 2005 2006 2007 2008 2009 2010 2011 2012 2013 2014 2015

Computer Science Students

Bachelor Master Doctorate Teaching Degree

49

49

37

25

58

34

52

55

66

55

53

18

14

21

25

15

27

38

35

26

24

8

9

6

6

12

7

5

10

6

1

4

1

1

3

1

3

2

1

2014/2015

2013/2014

2012/2013

2011/2012

2010/2011

2009/2010

2008/2009

2007/2008

2006/2007

2005/2006

2004/2005

2003/2004

Computer Science Graduations

Bachelor Master Doctorate Teaching Degree

Computer Science increased the total number of registered

PhD students from 20 to over 100 in the last decade, avera-

ging over 6 graduations per year. Due to changes in the

Bachelor Curriculum in 2011 and in the Master Curriculum

in 2010 graduations increased 2009. The PhD curriculum

was revised in 2009, while in 2015 new Teaching Degree

Bachelor studies in Computer Science were created.

62 63


Priv.-Doz. Dr.

Harald Zankl (2015)

Challenges in automation of rewriting

This thesis contains selected contributions investigating

various aspects regarding the automated analysis of rewrite

systems. The main topics of confluence, complexity, termi-

nation, and automation itself are addressed.

Ass.-Prof. Dr.

René Thiemann (2013)

A Formalization of Termination Techniques in Isabelle/HOL

We develop a certifier CeTA for validating automatically

generated termination proofs, or to detect errors within

these proofs. Correctness of CeTA itself has been been

proven in the interactive proof assistant Isabelle/HOL.

Priv.-Doz. Dr.

Cezary Kaliszyk (2016)

Learning Assisted Automated Reasoning

The thesis discusses automated reasoning combined with

machine learning from previous proofs in the large proof

assistant libraries of formalized program properties and

mathematical theories.

Priv.-Doz. Dr.

Michael Felderer (2016)

Risk-Based Decision Support for Improving Requirements-Based Testing in Industry

The habilitation thesis of Michael Felderer lies in the area of

software engineering and provides innovative approaches

to risk-based testing of requirements as well as their empi-

rical evaluation in an industrial context. The achieved results

are of high scientific and industrial relevance.

Habilitations

64 65


Doktor der Naturwissenschaften (Dr. rer. nat.)

Martin Avanzini

Michael Borovicka

Sebastian Colutto

Humaira Ijaz

Basel Katt

Michael Richard Kerrigan

Jacek Kopecky

Martin Johann Korp

Reto Willy Krummenacher

Mario Lassnig

Waqar Mehmood

Jakob Michael Pinggera

Jun Qin

Andreas Schnabl

Christian Sternagel

Elmar Peter Wach

Stefan Zugal

Doktor der technischen Wissenschaften (Dr. techn.)

Berthold Agreiter

Muhammad Aleem

Michael Felderer

Thomas Grubinger

Mukhtiar Memon

Vlad Marius Nae

Friedrich Neurauter

Simon Ostermann

Dominic Matthias Pacher

Simone Pellegrini

Kassian Plankensteiner

Michael Schier

Sebastian Schönherr

Peter Thoman

Sarah Winkler

Eva Zangerle

Doctor of Philosophy (PhD)

Matthias Farwick

Bertram Felgenhauer

Lukas Forer

Herbert Jordan

Stefan Jörer

Hamid Mohammadi Fard

Antonio Jesus Roa Valverde

Michele Segata

Christian Sillaber

Thomas Trojer

Michael Tschuggnall

Hanchen Xiong

Philipp Zech

Doctoral Graduates (in alphabetical Order)

U-Multirank is a platform initiated by the EU to facilitate

the comparison of universities and especially the

faculties and research fields of numerous universities by

means of multiple criteria. The data are collected from

various sources, e.g. the universities themselves, the

Web of Science and student surveys. Computer science

in Innsbruck scored A (the highest ranking) in 13 areas

covering teaching, research and internationality. This

is an excellent result when compared to other Austrian

computer science teaching and research locations. The

student survey shows good results regarding teaching

quality in Innsbruck. 22 % of the computer science

students took part in the survey. About 80 % of the survey

participants evaluated the organization of the study

programs (feasibility, access to courses, transparency of

assessment systems and feedback from teaching staff)

very positively.

U-Multirank student survey 2015

http://www.u-multirank.eu

“A“ ranking in the following categories

Student-staff ratio

External research income

Doctorate productivity

Research publications

Citation rate

Top cited publications

Post-doc positions

Co-publications with industrial partners

Publications cited in patents

International orientation of bachelor programmes

International doctorate degrees

International joint publications

International research grants

66 67


The mission of inday students is to bring together students

of computer science and present the research groups,

collaborating industry partners and spin-offs to them.

In the Students’ Project Slam the best student projects are

awarded.

13.00 - 15.00 Uhr: Malware analysis and Reverse engineering Workshop mit Viktor Sergeev, Kaspersky Lab

14.00 - 16.00 Uhr: Open Institute Institut für Informatik, ICT-Gebäude, 2. Stock Snacks & Getränke frei!

16.30 Uhr: Informatik live HSB 1, Bauingenieurgebäude

Keynotes: Maximilian Schrems, http://www.europe-v-facebook.org Serge Egelman, Berkeley Laboratory for Usable and Experimental Security (BLUES)

Company Statements Students‘ Project Slam ab 20.00 Uhr Get-together

ICT-Foyer Live Musik Buffet und Getränke frei!

Wanted! Informatik-Projekte Ist dein Projekt innovativ und originell? Dann mach mit

beim Students‘ Project Slam.

1. Preis 600 Euro 2. Preis 400 Euro Publikumspreis 200 Euro

Einreichung: bis 20. November 2015

21.00 Uhr Preisverleihung Students‘ Project Slam ICT Foyer

Weitere Informationen und Anmeldung unter http://informatik.uibk.ac.at/inday-students-2015/

The winners, the jury members and the sponsors of the Students‘ Projects Slam at inday students 2015

© In

stitu

t fü

r In

form

atik

, UIB

K

inday students

The Quality and Security Program Tirol (QSP) is an initiative

of the Department of Computer Science at the University

of Innsbruck created to foster application-oriented edu-

cation in the area of software engineering, information

security and IT management.

QSP Tirol offers a series of events such as labs, talks

and lectures given by renown experts and is open for

students enrolled in Tyrolean universities. QSP was

inaugurated in November 2014 and since then the events

held within the initiative have gained a lively interest

from the university students. In the second QSP year, 17

QSP Labs have had over 235 participations of Bachelor

and Master students and have been positively evaluated

being perceived as an opportunity to getting an insight

into practice.


Quality and Security Program Tirol

http://qsp-tirol.at

QSP SPONSORING PARTNERS

QSP SUPPORTING PARTNERS

68 69


The BIT Joint School of Information Technology agree-

ment, as signed in the form of a joint memorandum of

understanding and mutual bilateral agreements between

the rectors of the Universities of Bozen/Bolzano, Innsbruck

and Trento on July 15th 2005 in Bozen/Bolzano, set the

grounds for a new era of collaboration between the three

partner universities in the areas of education and research

with the goal of establishing excellence of research and

education in the IT field. This is achieved by combining

and aligning efforts not only at all levels of education pro-

grams from undergraduate up to doctoral level, but also

by establishing long-term research collaborations with

the final goal of building up a world leading centre of IT

research and education in the region, attracting scientists

of international reputation and excellent students as well

as guaranteeing a high-level education and support for

students and researchers in the region.

In the past couple of years the BIT school produced several

success stories and many initiatives:

» In Spring 2016 the first BIT-School cotutelle PhD degree

was awarded to Michele Segata

» The Interreg IV project “EN-ACT” and the EU FP7 project

“SecureChange” were completed successfully

» The Euregio project “KAOS Knowledge-Aware Operati-

onal Support“ started in Spring 2016

» Several Euregio Mobility Fund project applications were

submitted and approved

» Multiple joint journal and conference papers were

published and

» 10 BIT seminars were conducted

BIT school

The preparatory course for computer science is available

for all first semesters studying the Bachelor in Computer

Science program or the Teaching Degree in Computer

Science.

The introductory courses offer:

» Background knowledge regarding computer and

computer science fascilitating the entry in our study

programs.

» Refreshing basics in mathematics which are a prerequi-

site for our study programs.

» First-hand insider tips for studying at the University.

» The possibility to getting to know fellow students and

to form study groups early.

Preparatory Courses for First Semesters

5. School Outreach

© In

stitu

t fü

r In

form

atik

70 71


Our outreach activities targeting schools and young

people are part of the Department‘s mission to educate

and train IT specialists for Tyrol and Western Austria as

business location.

Every Year up to 10 events, targeted directly at schools,

are organized. Recurring events are the Family Day, the

Aktionstag Junge Uni, visits to schools, the Girl’s Day,

Researcher’s Night and the educational fair BeSt³ (fair for

job, study and further education). In the 2011 to 2015 time

span, the Department of Computer Science conducted

over 44 visits to schools and campus days for classes.

On the following pages we show a selection of events

targeted at pupils and teachers.

The “Talente Entdecken” internship, an initiative supported

by the BMVIT and administered by the FFG, were offered in

2011 for the first time and have since then become fixtures

of the Department‘s calendar. Aim of the internships is to

enthuse pupils for computer science by enabling them to

carry out research for the duration of 4 weeks in a universi-

ty environment. From programming apps, getting to know

common pitfalls to evaluating risks of the online world

and social media, the internships offer a wide range of

activities to the participating pupils. Repeatedly our interns

have received awards for their internship reports.

Florian Häser MSc, the young researchers and Prof. Dr. Ruth Breu at the closing of “Talente Entdecken” 2015

© In

stitu

t fü

r In

form

atik

Events for pupils

The Campus Day has been developed specifically aiming at

school classes to experience one day at the University. The

program can be adjusted to the needs and expectations

of the target audience. Researchers report on exciting

research topics like e.g. data security, robotics or cloud

computing. We also provide information regarding the

studies of computer science at the University of Innsbruck.

Extract of the program

Ein

füh

run

g

Wo steckt Informatik drin? Vorstellung des Institutes und des Studiums

Vorstellung von StudierendenprojektenSebastian Stabinger, Institut für Informatik: Kollisionswarnsystem für BlindeAlexander Leonhartsberger-Schrott, Studierender: UIBTap – App zur Studienorganisation

IT-R

alle

y (P

aral

lels

essi

on

s)

Server – Einblick in die Serverinfrastruktur

Chirurgie-Simulator Interactive Graphics and Simulation IGS: Was könnte die Verbindung zwischen einem Computerspiel und medizinischer Ausbildung sein?

Roboter lernen wie ein Kleinkind: Research Demo

der Robotik-Forschungsgruppe IIS

Distributed and Parallel Systems: Wie kann Cloud Computing verwendet werden um Rechenleistung aus der Netzwerkdose zu erhalten?

Gemeinsames Mittagessen

The initiative You can make IT, sponsored by the Bundes-

ministerium für Wissenschaft, Forschung und Wirtschaft

(BMWFW) in 2012, was triggered by all eight Universities

in Austria offering study programs in computer science.

One of the goals was to present computer science as an

innovative and fascinating field to young people. The

initiative comprised following activities:

» Visits to school

» Excursions of schools to IT-companies

» Computer science focal point at the educational fair

BeSt³ in Innsbruck

» The web portal http://youcanmakeit.at/ was launched

» Hands-on and practically oriented study courses

» Preparatory courses for first semesters

» Podcast for students and interested parties

YCMIT became the pillar of regular exchange with schools

as well as with companies working in the IT sector in order

to fight the lack of IT experts. The annual report can be

accessed here

http://youcanmakeit.at/jahresbericht2012.pdf

05. – 11.08.2012Juli/August 2012

03.11.2012August 2012

September 2012

17. – 19.10.2012LaufendLaufend

Veranstaltungen der Universität Innsbruck:

meet informatikUnicamp – UC12TeenXpressAktionstag Junge UniTalente - FerialpraktikumBrückenkurse

informatik on tourBeSt 2012 InnsbruckFirmenexkursionenSchulbesuche

Informationen zu den Veranstaltungen und zur Anmeldung fi ndest Du unter

eine Initiative der österreichischen Informatik-Universitätenfür Schülerinnen und Schüler der Oberstufe

Du fi ndest uns auch auf facebook.

eine Initiative der österreichischen Informatik-Universitätenfür Schülerinnen und Schüler der Oberstufe

Du fi ndest uns auch auf facebook.

INTERNSHIPS “TALENTE ENTDECKEN”

CAMPUS DAYYOU CAN MAKE IT - EXPERIENCE COMPUTER SCIENCE

72 73


The inday teachers is an annual event where teaching

experts and research experts in computer science meet to

benefit from new didactic research results.

This format was founded in 2015 and includes workshops,

keynotes and project presentations.

Extract of the program 2016

The core of the program are workshops for teachers where

both, our research results and best practices for computer

science education, are presented.

Para

llels

essi

on

s

Workshop 1, 3W03: SQL-Learning Johannes Kessler, Institut für Informatik

Workshop 2, SR1: Wikipedia-Eintrag gemeinsam mit SchülerInnen erstellenFlorian Häser, Institut für Informatik

Workshop 3, 3W04: Informatikunterricht zum Greifen nah: Physical ComputingStefan Stolz, HAK für Wirtschaftsinformatik und IT-Kolleg Imst; Universität InnsbruckThomas Gatterer, Meinhardinum Stams, Universität Innsbruck

Get-Together

Para

llels

essi

on

s

Workshop 4, IIS Lab: Roboter lernen wie ein KleinkindResearch Demo der Robotik-Forschungsgruppe IIS, Institut für Informatik

Workshop 5, 3W04: Networkbox Reinhard Fink, BRG Adolf-Pichler-Platz, Innsbruck

Workshop 6, SR1: Mit Rasperry Pi in denWeltraumJohann Stockinger, Head of Innovation and Research, OCG

Collaboration with teachers & schools

As part of their Matura all pupils have to write a final

thesis (“VWA” – “Vorwissenschaftliche Arbeit”, pre-scien-

tific thesis). Finding a good and interesting topic suitable

for a VWA poses a big challenge for pupils. With the VWA-

Day 2016 we initiated a new format where pupils have the

opportunity to attend brainstorming workshops given by

Tyrolean researchers. In the best case the attendants take

away an idea which they further elaborate into a VWA

topic. In addition, the platform www.youngscience.at

provides proposals and stimuli for possible VWA topics.

Topics presented at the event „VWA Workshop“

» Smarte Signal-, Daten und Bildanalyse in den Naturwis-

senschaften

» Facebook, Whats App & Co.: Wie sich unser Leben im

Zeitalter der digitalen Transformation verändert

» Smarte Signal-, Daten und Bildanalyse in den Naturwis-

senschaften

» Cloud Computing: Werden wir in Zukunft unsere Rech-

ner „in der Cloud“ mieten statt kaufen?

» Supercomputer - die schnellsten Computer der Welt

» Von A nach B: Wie funktioniert digitale Navigation?

» Zufall, Daten und extremes Wetter

» Digitale Bildforensik - Detektive in der Pixelwelt

» Informationssicherheit aus unterschiedlichen Perspektiven

» Arduino - Kleinstcomputer für Bastler und Erfinder

VORWISSENSCHAFTLICHE ARBEITEN (VWA) – PRE-SCIENTIFIC THESIS STIMULUS DAY

INDAY TEACHERS

6. Projects and collaborations

© s

hutt

erst

ock

74 75


Title and Acronym

Type of Action Project Leader From To Project Partners

An Exascale Programming, Multi-objective Optimisation and Resilience Management Environment Based on Nested Recursive Parallelism (AllScale)

Research & Innovation Action

Fahringer, Thomas 01.10.2015 30.09.2018 Friedrich-Alexander-Universität Erlangen-Nürnberg - FAU (Erlangen); IBM Ireland Limited (Dublin); Kung-liga tekniska högskolan - KTH Royal Institute of Technology (Stockholm)NUMECA International S.A. (Brussels); The Queens University of Belfast (Belfast)

dEcentralized repositories for traNsparent and efficienT vIrtual maChine opErations (ENTICE)


Fahringer, Thomas; Prodan, Radu

01.02.2015 31.01.2018 Deimos Castilla La Mancha SL (Puertollano); Flexiant Limited (London); Magyar Tudományos Akadémia (MTA) - Hungarian Academy of Sciences (Budapest); University of Ljubljana - Univerza v Ljubljani (Ljubljana); Wellness Telecom SL (Sevilla)

Robots Understanding Their Actions by Imagining Their Effects (IMAGINE)


Piater, Justus 01.10.2015 30.09.2018 Agencia Estatal Consejo Superior de Investigaciones Científicas (Madrid),Boğaziçi University - Boğaziçi Üniversitesi (Istanbul), Electrocycling GmbH (Goslar),Georg-August-Universität Göttingen (Göttingen), INSA - Institut National des Sciences Appliquées de Rennes (Rennes),Karlsruher Institut für Technologie (Karlsruhe)

Strong Modular proof Assistance: Reasoning across Theories (SMART)

ERC-Starting Grant

Kaliszyk, Cezary 01.03.2017 28.02.2023

Horizon2020

Title and Acronym


European Clearing House for Open Robotics Development(LearnBIP)

Large-Scale Integrating Project

Piater, Justus 01.01.2011 31.10.2012 Scape Technologies A/S (Odense); University of Southern Denmark (Odense)

Economic Impacts of Cybercrime(eCrime

CollaborativeProject

Böhme, Rainer 01.04.2015 31.03.2017 Global Cyber Security Center - GCSEC (Rom); International Criminal Police Organization - Interpol (Lyon); Ipsos Belgium SA (Brüssel); Rijksuniversiteit Groningen (Groningen); Tallinna Tehnikaülikool - Talinn University of Technology (Tallinn); The University of Warwick (Warwick); Trilateral Research & Consulting LLP (London); Université de Lausanne (UNIL) (Lausanne); Westfälische Wilhelms-Universität Münster (Münster

Excellence in Speed and Reliability for More Than Moore Technologies(eRamp)

ENIAC 9th Call, IKT der Zukunft

Prodan, Radu 01.04.2014 31.03.2017 ams AG (Wien); CISC Semiconductor GmbH (Klagenfurt); HSEB Dresden GmbH (Dresden): Infineon Technolgies IT-Services GmbH (Klagenfurt); Infineon Technologies AG (Neubiberg);Infineon Technologies Austria AG (Villach); Infineon Technologies Dresden GmbH (Dresden); Infineon Technologies Romania & Co. Societate in Comandita Simpla (Bukarest); Joanneum Research Forschungsgesellschaft mbH (Graz); Lantiq A GmbH (Villach); Material Center Leoben Forschung GmbH (Leoben); NXP Semiconductors Austria GmbH (Gratkorn); NXP Semiconductors Netherlands BV (Eindhoven); OSRAM GmbH (München); Philips Medical Systems Nederland BV (Eindhoven)Polymer Competence Center Leoben GmbH (Leoben); Robert Bosch GmbH (Gerlingen-Schillerhöhe)SGS Institut Fresenius GmbH (Taunus-stein); SPTS Technologies Ltd (Leicester); Stichting IMEC Nederland (Eindhoven); SYSTEMA Systementwicklung Dipl. Manfred Austen GmbH (Dresden)Technische Universität Dresden (Dresden); Technische Universität Wien (TU Wien) (Wien)Technische Universiteit Eindhoven (Eind-hoven); Westsächsische Hochschule Zwickau – Hochschule für angewandte Wissenschaften (Zwickau)

FP7

76 77


Title and Acronym


Sharing Interoperable Workflows for large-scale scientific simulations on available DCIs(SHIWA)

CollaborativeProject & Coordination and Support Action

Fahringer, Thomas 01.07.2010 30.09.2012 Cardiff University (Cardiff); Centre National de la Recherche Scientifique (CNRS) - National Center for Scientific Research (Paris); Charité - Universitätsmedizin Berlin (Berlin); Magyar Tudományos Akadémia (MTA) - Hungarian Academy of Sciences (Budapest); Universiteit van Amsterdam (Amsterdam); University of Southern California (USC) (Los Angeles); Universi-ty of Westminster (London)

Scientific understanding and vision-based technological development for continuous sign language recognition and translation(Signspeak)


Piater, Justus 01.10.2010 31.03.2012 Centre de Recerca i Investigacio de Catalunya S.A. (Barcelona); Europe-an Union of the Deaf (Gent)Radboud Universiteit Nijmegen - Stichting Katholieke Universiteit (Nijmegen); Telefónica Investigación y Desarrollo S.A. (Telefónica I+D) (Madrid); Rheinisch-Westfaelische Technische Hochschule Aachen (Aachen)

Clearing Clutter Bit by Bit(Squirrel)


Piater, Justus 01.02.2014 31.01.2018 Albert-Ludwigs-Universität Freiburg (Freiburg); Dachverband der Wiener Privatkindergärten und –horte (Wien); Engenharia de Sistemas LDA (IDMIND) (Lissabon), Festo AG & Co. KG (Esslingen); Fraunhofer-Institut für Produktionstechnik und Automatisierung (Stuttgart), King‘s College London (London); Technische Universität Wien (Wien); Universität Bonn (Bonn); Universiteit Twente (Enschede)

The 3rd Hand: A Symbiotic Robot Assistant(3rd Hand)


Piater, Justus 01.10.2013 30.09.2017 Institut National de Recherche en Informatique et Automatique (INRIA) (Bordeaux); Technische Universität Darmstadt (Darmstadt); Universität Stuttgart (Stuttgart)

Robots Bootstrapped through Learning from Experience(Xperience)


Piater, Justus 01.01.2011 31.12.2015 Georg-August-Universität Göttingen (Göttingen); Insititut „Jožef Stefan“ - JSI (Ljubljana); Italian Institute of Technology - Istituto Italiano di Tecnologia (IIT) (Genova); Karlsruher Institut für Technologie (KIT) (Karlsru-he); Syddansk Universitet - University of Southern Denmark (Odense)University of Edinburgh (Edinburgh)

Title and Acronym


Intelligent Observation and Execution of Actions and Manipulations(IntellAct)


Piater, Justus 01.03.2011 28.02.2014 Agencia Estatal Consejo Superior de Investigaciones Científicas - CSIC (Barcelona); Georg-August-Universi-tät Göttingen (Göttingen); Insititut „Jožef Stefan“ - JSI (Ljubljana); Rheinisch-Westfälischen Technischen Hochschule Aachen - RWTH

Probabilistic and Compositional Representations of Objects for Robotic Manipulation(PacMan)


Piater, Justus 01.03.2013 07.03.2016 Università di Pisa (Pisa); University of Birmingham (Birmingham)

Policy and Security Configuration Management(PoSecCo)


Breu, Ruth; Maier, Ronald

01.10.2010 31.12.2013 Atos Origin Sociedad Anonima Espanola (Madrid); Berner Fachhochschule (Bern); Crossgate AG (München); Deloitte Conseil SAS (Neuilly sur Seine); IBM Research GmbH (Rüschlikon); Politecnico di Torino (Torino); SAP Deutschland AG & Co. KG (Walldorf); Technische Universiteit Eindhoven (Eindhoven); Thales Services SAS (Velizy Villa-coublay); Università degli Studi di Bergamo (Bergamo)

Security Engineering for lifelong Evolvable Systems(Secure Change)


Breu, Ruth 01.02.2009 31.01.2012 Budapesti Muszaki es Gazdasagtu-domanyi Egyetem (BME) - Budapest University of Technology and Eco-nomics (BME) (Budapest); Deep Blue SRL (Rom); Gemalto N.V. (Meudon); Institut National de Recherche en Informatique et Automatique (INRIA) (Rocquencourt, Rennes, Sophia Antipolis, Grenoble, Nancy and Bordeaux-Lille-Saclay); Katho-lieke Universiteit Leuven - University of Leuven (Leuven); Smartesting (BESANCON); Stiftelsen Sintef (Trondheim); Telefónica Investiga-ción y Desarrollo S.A.(Telefónica I+D) (Madrid); Thales SA (Neuilly sur Seine); The Open University (Milton Keynes); Università degli Studi di Trento (Trento)

78 79


Title and Acronym


Certifying Termination and Complexity Proofs of Programs(CTCP)

START Program

Thiemann, René 01.10.2014 30.09.2020 HTWK Hochschule für Technik, Wirt-schaft und Kultur Leipzik (Leipzig); JAIST - Japan Advanced Institute of Science and Technology (Kanazawa); Rheinisch-Westfälischen Technischen Hochschule Aachen - RWTH Aachen (Aachen); Technische Universität München (TUM) (München)

Computational Interdisciplinary Modelling

Doctoral Program

Hofstetter, Günter; Adam, Christoph; Fahringer, Thomas; Kendl, Alexander; Kimeswenger, Stefan; Obergug-genberger, Mi-chael; Ostermann, Alexander; Probst, Michael; Reimer, Olaf; Schindler, Sabine

01.06.2010 30.06.2016 Institut für Astro- und Teilchen-physik; Grundlagen der Technischen Wissenschaften, AB Angewandte Mechanik; Grundlagen der Technischen Wissenschaften, AB Festigkeitslehre und Baustatik; Grundlagen der Technischen Wissenschaften, AB Technische Mathematik;Institut für Ionenphysik u. Angewandte Physik; Institut für Mathematik

A Generic Platform for Model Driven Business Security(Sectissimo)

Stand-Alone Project

Breu, Ruth 01.08.2008 31.05.2012 AIT Austrian Institute of Technology GmbH (Wien); Fraunhofer SIT (Darmstadt); Samsung Electronics America, Inc. (Ridgefield Park); SAP Deutschland AG & Co. KG (Walldorf); SINTEF – Stiftelsen for industriell og teknisk forskning ved Norges Tekniske Høgskole (Trondheim); The Open University (Milton Keynes); Università degli Studi di Trento (Trento); Vanderbilt University (Nashville)

Automatic Portable Perfomance in Parallel Compilation for Heterogeneous Multi-cores Using Predictive Modelling(Multi Predict)

Translational Research Program

Fahringer, Tho-mas; Thomson, John

01.09.2011 31.12.2014 Imperial College London (London); Trinity College Dublin (Dublin); University of Edinburgh (Edinburgh)

FWF

Title and Acronym


Automatische Komplexitätsanalyse mittels Transformationen

Stand-Alone Project

Moser, Georg 01.10.2013 30.09.2016 HTWK Hochschule für Technik, Wirt-schaft und Kultur Leipzik (Leipzig); JAIST - Japan Advanced Institute of Science and Technology (Kanazawa); Laboratoire lorrain de recherche en informatique et ses applications - Le Loria (Vandoevre-lès-Nancy Cedex); Rheinisch-Westfälischen Technischen Hochschule Aachen - RWTH Aachen (Aachen); Technische Universität München (TUM) (München); The University of Iowa (Iowa City); Univerdidad Complutense de Madrid (Madrid)

Derivations- komplexitätsanalyse

Stand-Alone Project

Moser, Georg 01.10.2007 31.08.2011 Universtiy of Oslo (Oslo); LMU Munich (München); University of Cooperative Education, Bad Wildungen

Interaktives Beweisen: Übersetzung von Beweisen, Prämissen Auswahl, Ersetzung

Stand-Alone Project

Kaliszyk, Cezary 01.02.2014 31.01.2017 McMaster University (Hamilton); Radboud Universiteit Nijmegen - Stichting Katholieke Universiteit (Nijmegen); Technische Universität München (TUM) (München); University of Tsukuba (Tsukuba)

Konfluenz: Automatisierung, Zertifizierung, Erweiterungen(KonAUT)

Stand-Alone Project

Middeldorp, Aart 01.06.2010 30.11.2014 JAIST - Japan Advanced Institute of Science and Technology (Kanazawa); Tohoku University (Sendai); Univer-siteit Utrecht - Utrecht University (Utrecht)

Modellbasiertes Akzeptanz-Testen(MATE)


Breu, Ruth 01.10.2009 30.06.2013 ETH Zürich - Eidgenössische Technische Hochschule Zürich (Zürich); ITH icoserve technology for healthcare GmbH (Innsbruck); Samsung Electronics America, Inc. (Ridgefield Park)Technische Universiteit Eindhoven (Eindhoven); Universität Ulm (Ulm); valtech GmbH (Düsseldorf); World-Direct eBusiness solutions GmbH (Sistrans)

80 81


Title and Acronym


Model-Based Security Testing of Clouds(MOBSTECO)

Stand-Alone Project

Breu, Ruth 01.11.2013 31.10.2018 SINTEF – Stiftelsen for industriell og teknisk forskning ved Norges Tekniske Høgskole (Trondheim): Technische Universität Graz (TU Graz) (Graz); Technische Universität München (TUM) (München); Van-derbilt University (Nashville)

Modeling Error Analysis and Resolution(ModErAre)

Stand-Alone Project

Weber, Barbara; Pinggera, Jakob; Zugal, Stefan

01.01.2014 31.12.2016 Technion - Israel Institute of Techno-logy (Haifa); Technische Universiteit Eindhoven (Eindhoven); Universität Ulm (Ulm); University of Haifa (Haifa)

On-Demand Resource Provisioning for Online Games(Real Games)


Prodan, Radu 01.01.2011 31.12.2013 Cardiff University (Cardiff); Johannes Kepler Universität Linz (JKU) (Linz); Poznan Supercomputing and Networking Center (Poznan); Westfälische Wilhelms-Universität Münster (Münster)

The Modeling Mind: Behavior Patterns in Process Modeling(Modeling Mind)

Stand-Alone Project

Weber, Barbara; Furtner, Marco; Pinggera, Jakob; Sachse, Pierre; Zugal, Stefan

01.07.2014 30.06.2017 Technion Israel Institute of Techno-logy (Haifa); Technische Universiteit Eindhoven (Eindhoven); Universitat Politècnica de València - Polytechnic University of Valencia (UPVLC) (Valencia); Universität Ulm (Ulm); University of Haifa (Haifa)

The Process of Process Modeling(Nautilus)

Stand-Alone Project

Weber, Barbara 01.07.2011 30.06.2015 Hasso Plattner Institut (Potsdam); Humboldt Universität zu Berlin (Berlin); Technische Universiteit Eindhoven (Eindhoven)

TxtureSA – Situation-Aware IT AssetManagement(Txture)

Stand-Alone Project

Breu, Ruth 01.05.2016 30.04.2019 KTH Stockholm (Stockholm); TU München (München)

Verbesserung von Zertifizierern für Terminierungsbeweise(CertTerm)

Stand-Alone Project

Thiemann, René 01.07.2010 30.09.2014 ENSIIE - École Nationale Supérieure d’Informatique pour l’Industrie et l’entreprise (Evry Cedex); HTWK Hochschule für Technik, Wirtschaft und Kultur Leipzik (Leipzig); Rheinisch-Westfälischen Technischen Hochschule Aachen - RWTH Aachen (Aachen); Technische Universität München (TUM) (München)

Title and Acronym


Von Konfluenz zu eindeutigen Normalformen: Zertifizierung und Komplexität

Stand-Alone Project

Middeldorp, Aart 01.04.2015 31.03.2018 JAIST - Japan Advanced Institute of Science and Technology (Kanazawa); Utrecht University (Utrecht); Tohoku University (Sendai); SRI International (Menlo Park)

Workflows on Manycore Processors(Manycore)


Prodan, Radu 01.04.2013 31.03.2017 FORTH - Foundation for Research & Technology - Hellas (Heraklion); The University of Manchester (Manchester)

Zertifizierung Redux Stand-Alone Project

Sternagel, Christian

01.02.2015 31.01.2018 Nagoya Unversity (Nagoya); Univer-sitè Paris-Sud (Orsay); Universitat Politécnica de Valéncia (Valencia)

Analyse und Simulation der distalen Unterarmstabilität während der Umwendbewegung zur verbesserten Chirurgieplanung

D-A-CH Lead Agency Project

Harders, Matthias 01.04.2016 31.03.2019 Universität Bern (Bern); Universität Zürich (UZH) (Zürich)

Bedingte Ersetzung und SMT: Aufkommende Trends in Ersetzung

Joint Project Middeldorp, Aart 01.05.2012 31.08.2015 Hokkaido University (Sapporo); JAIST - Japan Advanced Institute of Science and Technology (Kanazawa); Nagoya University (Nagoya); Tech-nische Universität Wien (TU Wien) (Wien); University of Yamanashi (Yamanashi)

Energy Aware Autotuning for Scientific Applications(EASE)

Joint Project Fahringer, Thomas 01.02.2014 31.12.2017 St. Xavier‘s Catholic College of Engineering - SXCCE (Nagercoil)

GreenEr Mobile Systems by Cross LAyer Integrated energy Management(GEMSCLAIM)

ERA-Net Fahringer, Thomas 01.09.2012 31.12.2015 Rheinisch-Westfälischen Technischen Hochschule Aachen - RWTH Aachen (Aachen); The Queens University of Belfast (Belfast); Universitatea „Politehnica“ din Timis (UPT) - “Po-litehnica” University of Timisoara (Timisoara)

82 83


Title and Acronym


Instantiation- and Learning-Based Methods in Equational Reasoning

Hertha-Firnberg Program

Winkler, Sarah; Moser, Georg

01.10.2016 30.09.2019 -

Komplexitätsanalyse von Ersetzungssystemen höherer Ordnung

Erwin-Schrödinger Fellowships

Avanzini, Martin 28.04.2014 27.04.2017 ALMA MATER STUDIORUM - Univer-sità di Bologna (Bologna)

Offene Induktion, Kruskals Theorem und Einfache Terminierung

Erwin-Schrödinger Fellowships

Sternagel, Christian

15.11.2011 14.12.2014 JAIST - Japan Advanced Institute of Science and Technology (Kanazawa)

Structural and Computational Proof Theory(Structural)

Joint Project Moser, Georg 01.02.2011 31.03.2014 Université Paris Diderot - Paris 7 (Paris)

The Fine structure of proof systems and its computational interpretations (FISP)

Joint Project Moser, Georg 01.01.2016 31.12.2018 Technische Universität Wien (TU Wien) (Wien); Université Paris Diderot - Paris 7 (Paris)

Title and Acronym Project Leader From To Project Partners

Quality Engineering Laura Bassi Lab -Living Models for Open Systems(QE-LaB)

Breu, Ruth 01.10.2009 30.09.2013 Barracuda Networks AG (Innsbruck); Comarch Software und Beratung AG (München); iteratec GmbH (Unterhaching); Kapsch CarrierCom AG (Wien); ITH icoserve technology for healthcare GmbH

Quality Engineering Laura Bassi Lab -Living Models for Open Systems(QE-LaB)

Breu, Ruth 01.10.2013 30.09.2016 Infineon Technolgies IT-Services GmbH (Klagenfurt); ITH icoserve technology for healthcare GmbH; (Innsbruck); ITSEC GmbH (Inns-bruck); Porsche Informatik Gesell-schaft m. b. H. (Salzburg); Swiss Life AG (Garching bei München)

BMWFW

84 85


Title and Acronym


High Performance Production Simulations in the Automotive Industry with Many-core Parallel Computing Systems(Autocore)

Intelligent Production

Fahringer, Thomas 01.06.2012 31.05.2015 Magna Powertrain - Engineering Center Steyer GmbH & CoKG

Qualifizierungsseminar Risikobasiertes Testen und Fehlervorhersage für Software(Smart Testing)

Qualification Seminars

Felderer, Michael 01.10.2014 31.03.2015 DGR“ Datenverarbeitungs-Gesell-schaft m.b.H. (Haid); ekey biometric systems GmbH (Linz); Infpro IT Solutions GmbH (Innsbruck); PDA Group GmbH (Innsbruck); Software Competence Center Hagenberg GmbH (Hagenberg im Mühlkreis); ventopay gmbh (Hagenberg)

Competence Network in Next Generation Software Engineering (Softnet II)

COMET Breu, Ruth 01.01.2011 28.02.2013 Arctis Softwaretechnologie GmbH (Inzing); CURE, Centrum für die Untersuchung und Realisierung Endbenutzerorientierter, interaktiver Systeme - Center for Usability Research & Engineering (Wien)Kämmerer GmbH (Graz); Kapsch TrafficCom AG (Wien); Ranorex GmbH (Graz); Siemens AG Österreich (Wien); Software Com-petence Center Hagenvberg GmbH (Hagenberg); Technische Universität Graz (TU Graz) (Graz); Technische Universität Wien (TU Wien) (Wien); UMA Information Technology GmbH (UMA) (Wien); Verein zur Förderung der Forschung im Bereich der ange-wandten Softwareentwicklung in Österreich - Softnet Austria (Graz); XIMES GmbH (Wien)

Talente Praktika 2011 bis 2016 Privacy in SocialNet; Ich weiß, was du gestern getan hast! Datenschutz im Zeitalter sozialer Netzwerke; My App Is So Cool; Know your App

Discover Talents - Internships

Breu, Ruth 2011 2016 -

Title and Acronym


A Many-Core Compiler for Industrial Engineering Stability Analysis(Open Core)

Bridge I Prodan, Radu 01.03.2010 31.08.2012 Intales GmbH (Natters)

Energiebewusste Föderierte Cloud für Anwendungen aus Industrie und Forschung(Tiroler Cloud)

Bridge I Prodan, Radu 01.09.2015 31.08.2018 Software Company Gunsch (Innsbruck)

Excellence in Speed and Reliability for More Than Moore Technologies(eRamp)

ENIAC 9th Call, IKT der Zukunft

Prodan, Radu 01.04.2014 31.03.2017 ams AG (Wien); CISC Semicon-ductor GmbH (Klagenfurt); HSEB Dresden GmbH (Dresden); Infineon Technolgies IT-Services GmbH (Klagenfurt); Infineon Technologies AG (Neubiberg); Infineon Technolo-gies Austria AG (Villach); Infineon Technologies Dresden GmbH (Dresden); Infineon Technologies Romania & Co. Societate in Coman-dita Simpla (Bukarest); Joanneum Research Forschungsgesellschaft mbH (Graz)Lantiq A GmbH (Villach); Material Center Leoben Forschung GmbH (Leoben); NXP Semiconductors Austria GmbH (Gratkorn); NXP Semiconductors Netherlands BV (Eindhoven); OSRAM GmbH (München); Philips Medical Systems Nederland BV (Eindhoven); Polymer Competence Center Leoben GmbH (Leoben)Robert Bosch GmbH (Gerlingen-Schillerhöhe); SGS Institut Fresenius GmbH (Taunusstein); SPTS Tech-nologies Ltd (Leicester); Stichting IMEC Nederland (Eindhoven); SYSTEMA Systementwicklung Dipl. Manfred Austen GmbH (Dresden); Technische Universität Dresden (Dresden); Technische Universität Wien (TU Wien) (Wien); Technische Universiteit Eindhoven (Eindhoven); Westsächsische Hochschule Zwickau – Hochschule für angewandte Wissenschaften (Zwickau)

FFG

86 87


Title and Acronym


Work Enabling Systems & Technologies (Q-WEST)

Qualifizie-rungsnetz-werk

Felderer, Michael 02.01.2017 31.12.2018 Institut für Mechatronik an der Uni-versität Innsbruck, Koordinations-stelle für universitäre Weiterbildung an der Universität Innsbruck, Institut für Organisation und Lernen an der Universität Innsbruck, Advanced Engineering Industrie Automation GmbH (Hallein), Antevorte - Inno-vation in Motion e.U. (Schwarzach), Atomic Austria GmbH (Altenmarkt im Pongau), Bachmann electronic GmbH (Feldkirch), Fachhochschule Salzburg GmbH – FHS (Puch/Hallein), Fachhochschule Vorarlberg (Dornbirn), Gantner Electronic GmbH (Schruns), GE Jenbacher GmbH & Co OG (Jenbach), Getzner Textil AG (Bludenz), High Q Laser GmbH (Rankweil), IcoSense GmbH (Mittersill), Ing. Punzenberger Copa-Data GmbH (Salzburg), Inndata Datentechnik GmbH (Innsbruck), Kathrein Mobilcom Austria GmbH (Niederndorf) Micado Smart Engi-neering GmbH (Oberlienz), Montfort Kunststofftechnik GmbH (Koblach), MRT Information Management GmbH (Innsbruck), simarob GmbH (Ludesch), Skidata AG (Grödig), Stadtwerke Wörgl GmbH (Wörgl), System Industrie Electronic GmbH (Lustenau), W & H Dentalwerk Bürmoos GmbH (Bürmoos), WGT-Elektronik GmbH (Kolsass)

Flexibler, robotischer Assistent für die indiv-dualisierte Produktion (FlexRop)

IKT der Zukunft

Piater, Justus 01.09.2016 31.08.2018 Magna Steyr Fahrzeugtechnik AG & Co KG (Graz), PROFACTOR GmbH (Steyr-Gleink), Schmachtl GmbH (Linz)

Living Safety&Security Cases for Cyber-Physical Systems Certification (SALSA)

IKT der Zukunft

Breu, Ruth 01.10.2016 30.09.2019 fortiss GmbH (München), ITSEC GmbH (Innsbruck), TTTech Compu-tertechnik AG (Wien)

Title and Acronym


European Summer School in Logic, Langua-ge and Information (ESSLLI 2016)

Mobility Fund

Harders, Matthias 15.08.2016 26.08.2016 Freie Universität Bozen - Libera Università di Bolzano (Bozen); Università degli Studi di Trento (Trento)

Joint seminar series „Empirical Software Engineering“ (JESE)

Mobility Fund

Felderer, Michael 13.10.2015 30.04.2016 Freie Universität Bozen - Libera Università di Bolzano (Bozen); Università degli Studi di Trento (Trento)

Knowledge-Aware Operational Support (KAOS)

Interregional Project Networks

Breu, Ruth; Weber, Barbara

01.06.2016 31.05.2019 Fondazione Bruno Kessler (Trento); Freie Universität Bozen - Libera Università di Bolzano (Bozen)

visiting Local companiEs to chAnge the stuDents‘ pERception of the local IT landscape(LEADERIT)

Mobility Fund


Joint seminar series "Empirical Software Engineering”(JESE 2)

Mobility Fund


visiting Local companiEs to chAnge the stuDents' pERception of the local IT landscape(LEADERIT 2)

Mobility Fund


28th European Summer School in Logic, Lan-guage and Information (ESSLLI16)

Mobility Fund

Harders, Matthias 01.08.2016 30.09.2016 Freie Universität Bozen - Libera Università di Bolzano (Bozen); Università degli Studi di Trento (Trento)

EUREGIO

88 89


Title and Acronym Project Leader From To

Stiftungsprofessur IT-Infrastructure and IT-Systems for Very Large Organizations

Böhme, Rainer 01.03.2015 28.02.2020

ARCHIMEDES Stiftungsprofessur

ÖAW

Title and Acronym

Type of Action Project Leader From To

Termination Tools in Automated Reasoning

DOC-FFORTE

Winkler, Sarah 01.02.2010 31.01.2013

Title and Acronym


Collaborative Security Management(Cosema)

Translational Research

Breu, Ruth; Maier, Ronald

01.11.2008 31.12.2011 Wirtschaftsinformatik LFU

KineControl Translational Research

Husty, Manfred; Fahringer, Thomas

01.10.2010 28.02.2014 UMIT (Hall in Tirol); Institut für Grundlagen der Technischen Wissen-schaften, AB Geometrie und CAD

Parallel Computing for Manycore Computers(Many Core Computing)


Fahringer, Thomas 01.12.2008 30.11.2011 High Performance Computing

Scientific Computing in the Cloud (RainCloud)


Prodan, Radu; Mayr, Georg; Schindler, Sabine

17.01.2011 16.03.2014 Institut für Atmosphären- und Kryosphärenwissenschaften; FSP Scientific Computing

Stiftungsassistenz QE-LaB Breu, Ruth 01.10.2010 30.09.2014 -

Standortagentur Tirol

90 91



A Compressing, Updateable Index for Main Memory Graph Databases (CupIndex)

Binna, Robert 01.01.2012 31.03.2013

Dienstgütebasierte Wissenschaftliche Workflows in Clouds(DWWC)

Prodan, Radu 01.01.2011 30.06.2012

Empirical Evaluation of Test Driven Modeling

Binna, Robert 01.01.2012 31.12.2013

Dienstgütebasierte Wissenschaftliche Workflows in Clouds (DWWC)

Zugal, Stefan 01.04.2012 30.06.2012

Foundation and Architecture for Future Generations of Health Information Infrastructures in Austria (HERMED)

Borovicka, Michael 01.01.2011 30.06.2012

Hashtag Recommendations in Twitter (Hashomender)

Zangerle, Eva 01.01.2012 31.12.2012

Literate Process Modeling (LiProMo)

Pinggera, Jakob 01.01.2011 30.06.2012

Literate Process Modeling (LiProMo2)

Pinggera, Jakob 01.07.2012 31.12.2013

Tiroler Wissenschaftsfonds


Lösen von Nichtlinearer Arithmetik (LNA)

Zankl, Harald 01.03.2011 28.02.2013

Providing User Guidance troughout the Agile Process Lifecycle(CHEETAH)

Weber, Barbara 01.01.2009 31.03.2011

Providing User Guidance throughout the Agile Process LIfecycle (CHEETAH2)

Weber, Barbara 01.01.2010 31.03.2011

92 93


Title and Acronym


Energy Aware Computing(EN-ACT)

Interreg IV-AEFRE

Fahringer, Thomas; Breu, Ruth; Dressler, Falko

01.08.2012 31.03.2015 Freie Universität Bozen - Libera Università di Bolzano (Bozen); QE LaB Business Services GmbH (Innsbruck)(INTERREG IV)

freeBIM - Tirol Cooperation Advance-ment

Fröch, Georg; Specht, Günther

01.12.2013 30.09.2015 Institut für Konstruktion und Mate-rialwissenschaften, AB Baubetrieb, Bauwirtschaft und Baumanagement; b.i.m.m GmbH (Kufstein); CAD Anwendungen Muigg KG (Innsbruck)Inndata Datentechnik GmbH (Innsbruck)

freeBIM 2 Cooperation Advance-ment

Fröch, Georg; Specht, Günther

01.06.2016 31.12.2017 ATP (Innsbruck); b.i.m.m GmbH (Kufstein); CAD Anwendungen Muigg KG (Innsbruck); Inndata Datentechnik GmbH (Innsbruck); Rieder Bauge-sellschaft m.b.H. & Co. KG (Ried im Zillertal)Institut für Konstruktion und Mate-rialwissenschaften, AB Baubetrieb, Bauwirtschaft und Baumanagement; b.i.m.m GmbH (Kufstein); CAD Anwendungen Muigg KG (Innsbruck)Inndata Datentechnik GmbH (Innsbruck)

Land Tirol

Title Project Leader From To

12th International Workshop on Termination(Veranstaltungsförderung der LFU)

Moser, Georg 16.01.2012 30.01.2012

23. GI-Workshop Grundlagen von Datenbanken(Veranstaltungsförderung der LFU)

Gassler, Wolfgang 22.02.2011 03.06.2011

A provenance and performance prediction system for Grid systems.(Doktoratsstipendium aus der Nachwuchsförderung der Universität Innsbruck)

Malik, Muhammad Junaid

01.07.2011 31.12.2013

Assessing the Suitability of Process Modeling Tools(Doktoratsstipendium aus der Nachwuchsförderung der Universität Innsbruck)

Pinggera, Jakob 01.11.2009 31.07.2011

Bioinformatic algorithms and database solutions for efficient data-mining in order to discover the genetic basis of complex diseases(Doktoratsstipendium aus der Nachwuchsförderung der Universität Innsbruck)

Schönherr, Sebastian

01.02.2010 31.01.2012

Closing the gap between Computer Science and Genetics - A feedback guided interface for elastic computing

Schönherr, Sebastian

01.02.2012 31.08.2013

Closing the Gap between Structured and Unstructured Information in Knowledge Bases and Modern Information Systems(Doktoratsstipendium aus der Nachwuchsförderung der Universität Innsbruck)

Gassler, Wolfgang 01.11.2011 31.10.2012

Combining Imperative and Declarative Paradigms for Process Lifecycle Support(Doktoratsstipendium aus der Nachwuchsförderung der Universität Innsbruck)

Zugal, Stefan 01.07.2009 31.03.2011

Das Wortproblem in der Gleichungslogik(Hypo Tirol Bank Forschungsförderungspreis an der Leopold-Franzens-Universität Innsbruck)

Zankl, Harald 01.01.2012 30.09.2012

Data-Driven Haptic Acquisition and Rendering of Unimanual and Bimanual Contact(Doktoratsstipendium aus der Nachwuchsförderung der Universität Innsbruck)

Sianov, Anatolii 01.02.2015 31.07.2016

Derivational Complexity Analysis Revisited(Doktoratsstipendium aus der Nachwuchsförderung der Universität Innsbruck)

Schnabl, Andreas 01.10.2010 30.09.2011

Vizerektorat für Forschung

94 95



Insieme-RT: A Compiler-supported Parallel Runtime System (Doktoratsstipendium aus der Nachwuchsförderung der Universität Innsbruck)

Thoman, Peter 01.04.2013 30.09.2013

Interdisciplinary approach for integrating clinical laboratories into the national electronic health record (ELGA)

Borovicka, Michael 1.02.2011 11.10.2011

Investigating the Collaborative Process of Process Modeling(Doktoratsstipendium aus der Nachwuchsförderung der Universität Innsbruck)

Forster, Simon 01.09.2013 28.02.2014

Isochrone im multimodalen räumlichen Netzwerken (Doktoratsstipendium aus der Nachwuchsförderung der Universität Innsbruck)

Krismer, Nikolaus 01.06.2016 31.05.2017

Kongress „11th IEEE/IFIP Annual Conference on Wireless On-Demand Network Systems and Services - WONS 2014 „ (Veranstaltungsförderung der LFU)

Sommer, Christoph 13.02.2014 30.04.2014

Learning Part-Based 3D Compositional Object Representation (Doktoratsstipendium aus der Nachwuchsförderung der Universität Innsbruck)

Rezapour Lakani, Safoura

01.03.2016 31.08.2016

Polynominterpretationen in Terminationsbeweisen von Termersetzungssystemen (Doktoratsstipendium aus der Nachwuchsförderung der Universität Innsbruck)

Neurauter, Friedrich 01.04.2011 31.03.2012

Recommender Systems for the Creation and Maintenance of Structure within Modern Information Systems and Networks (Doktoratsstipendium aus der Nachwuchsförderung der Universität Innsbruck)

Zangerle, Eva 01.11.2011 31.10.2012

Ressourcen Bereitstellung für Workflow Anwendungen in verteilten Compu-tersystemen (Doktoratsstipendium aus der Nachwuchsförderung der Universität Innsbruck)

Mohammadi Fard, Hamid

01.07.2013 30.06.2014

RoboCupJunior Austrian Open 2016 (Veranstaltungsförderung der LFU)

Piater, Justus 15.02.2016 30.12.2016

Self Organising Data Locality in Graph Databases (Doktoratsstipendium aus der Nachwuchsförderung der Universität Innsbruck)

Pacher, Dominic 01.07.2012 30.06.2013

Termination Analysis of Term Rewriting by Polynomial Interpretations and Matrix Interpretations

Neurauter, Friedrich 08.11.2012 31.12.2013


TweeMod: Tweet-Models für Empfehlungssysteme in Mikroblogs (Nachwuchsfördermittel aus der Nachwuchsförderung der LFU)

Zangerle, Eva 01.01.2014 31.12.2014

Using Prioritization for Increasing Robustness of Video Delivery in Live Streaming Applications (Doktoratsstipendium aus der Nachwuchsförderung der Universität Innsbruck)

Schier, Michael 01.11.2010 30.04.2012

Verifying Polytime Computability Automatically (Doktoratsstipendium aus der Nachwuchsförderung der Universität Innsbruck)

Avanzini, Martin 01.11.2011 31.10.2012

Workshop Software Engineering Live (Veranstaltungsförderung der LFU)

Breu, Ruth 05.05.2011 06.05.2011

Zusatzfinanzierung Euregio Projekt KAOS Breu, Ruth 01.01.2016 31.12.2018

96 97


Title and Acronym Project Leader From To Company Partners

Comarch Innovation Lab Promberger, Kurt; Breu, Ruth

01.02.2011 31.12.2013 Comarch Software und Beratung AG

Forschungsstudie Risikoorientiertes Comliance-Management am Beispiel des internen Kontrollystsems der BMW Group

Breu, Ruth 01.10.2015 30.09.2016 BMW - Bayerische Motoren Werke Aktiengesellschaft

Haptisches Feedback in Chirurgiesimulation

Harders, Matthias 01.09.2015 31.05.2019 VirtaMed AG

Implementierung eines Analyseframeworks für Sicherheitsvorfälle auf der Basis von Twitter Nachrichten

Zangerle, Eva 01.01.2015 31.12.2015 FIOconsult e.U.

Mobile Travel Companion (MTC) Framework - Mobile Travel Manager

Promberger, Kurt; Breu, Ruth

01.05.2010 31.12.2011 TouristMobile GmbH (TM)

QE LaB Kooperation mit ARZ

Breu, Ruth 01.07.2011 30.06.2016 ARZ - Allgemeines Rechenzentrum Gesellschaft m.b.H.

QE LaB Kooperation mit MPreis und GS1

Breu, Ruth 01.03.2014 28.02.2017 GS1 Austria GmbH

Security and Quality Lab Breu, Ruth 01.07.2014 30.09.2016 ARZ - Allgemeines Rechenzentrum Gesellschaft m.b.H.;Barracuda Networks AG; Firtz Egger GmbH & Co. KG; mils electronic gesmbh & cokg

Study on real-time stream processing engines

Dressler, Falko 01.07.2011 30.09.2011 Siemens Aktiengesellschaft Deutschland

Stupidhackathon Farwick, Matthias 15.09.2015 31.12.2015 ARZ - Allgemeines Rechenzentrum Gesellschaft m.b.H.

Industrial Collaborations


Twitter Security Incidents Zangerle, Eva 09.01.2013 31.08.2013 FIOconsult e.U.

Werkvertrag Infineon Breu, Ruth 01.07.2014 31.12.2014 Infineon Technologies IT-Services GmbH

Werkvertrag World-Direct (Softwarekonzept für ein Tumorboard-System)

Breu, Ruth 01.06.2014 30.09.2014 World-Direct - eBusiness Solutions GmbH

98 99



Deduplication and Identity Resolution in Product Catalogues. Innovationsscheck Medienhof Mils

Zangerle, Eva 01.10.2013 31.03.2014 Medienhof Mils - Wolfgang Steinlechner

Innovationsscheck enerChange

Specht, Günther 02.05.2013 31.12.2013 enerChange GmbH

Innovationsscheck ITSEC Specht, Günther 01.10.2011 30.06.2012 ITSEC GmbH

Innovationsscheck LIST Engineering OG

Zangerle, Eva 25.07.2014 24.07.2015 list-engineering OG

Innovationsscheck MBox Piater, Justus 01.10.2013 30.09.2014 M-BOX GmbH

Kooperation mit Bachmann

Breu, Ruth 16.08.2016 31.12.2016 Bachmann electronic GmbH (Feldkrich)

Companies – Innovationsschecks

Title and Acronym Project Leader From To Funding Agency

Complexity Analysis-based Guaranteed Execution (CAGE), Draper Proposal Number: 15-B13

Moser, Georg 28.04.2015 15.10.2016 The Charles Stark Draper Laboratory, Inc.

DDMOAR - Data-Driven Multimodal Object Acquisition and Rendering

Harders, Matthias 01.11.2013 31.01.2015 Schweizerischer Nationalfonds (SNF)

Energieeffizientes Management und Selbstorganisierte Datenverwaltung in Sensornetzen

Dressler, Falko 01.12.2012 30.04.2014 Deutsche Forschungsgemeinschaft (DFG)

Evaluation der Monk-IT Appliance für den Einsatz in 10 GBit/s Netzen

Dressler, Falko 01.11.2011 29.02.2012 Bundesamt für Sicherheit in der Informationstechnik

Fundamental Approach to Cyber Risk Analysis and the Research Agenda for Cyber Insurance

Böhme, Rainer 01.05.2015 01.04.2016 Casualty Actuarial Society - CAS

JSPS Fellowship Middeldorp, Aart 01.04.2013 31.03.2014 Japan Society for the Promotion of Science (JSPS)

Various

100 101


Event sponsors in the reporting period

ARZ - Allgemeines Rechenzentrum Gesellschaft m.b.H.

AV Comparatives GmbH

Barracuda Networks AG

Bizagi Limited

CAST Center for Academic Spin-offs Tyrol - Gründungszentrum GmbH

Comarch

D. Swarovski & Co

e-Sec Information Security Solutions GmbH

Exformatics A/S

Fritz Egger GmbH & Co. OG

GE Jenbacher GmbH & Co OG

GRADIENT ECM s.r.o.

Hafina-Handels- und Finanz GmbH

Hyve Innovation Community GmbH

IBM International

InfPro IT SolutionsGmbH

Kapsch CarrierCom AG

mils electronic gesmbh & cokg

mohemian services gmbH

PROLOGICS IT GmbH

SAP AG

Signavio GmbH

Standortagentur Tirol

Stadt Innsbruck

Träger- und Förderverein Technik Tirol zur Errichtung von technischen FH-Studiengängen

World-Direct - eBusiness Solutions GmbH

102 103


AustraliaJapan

IndiaIsrael

CanadaUSA

International Destinations

Austria BelgiumDenmarkEstoniaFrance GermanyGreat BritainIrelandItalyNetherlandsNorwayPolandRumaniaSloveniaSpainSwedenSwitzerlandHungary

106 107


BPM 2015

13th International Conference on Business Process ManagementAugust 31 - September 3, 2015 – Innsbruck/Austria

290 participants from all five continents attended the BPM

2015. The conference started on August 30, 2015 with

the Doctoral Consortium an the IEEE Taskforce on Process

Mining. The following day 7 parallel workshops were held.

The main conference from September 1 to September 3

offered 3 keynotes, 4 tutorials and 1 panel, 28 demos, and

an industry track with 15 BPM case presentations.

WONS 2014

GvDB 2014

26th Workshop on Foundations of Databases of the Gesellschaft für InformatikOctober 21 - October 24, Ritten/Italy

The four day workshop is hosted by the GI study group

Foundations of Information Systems in the specialist field

Databases and Information Systems (DBIS) und focusses

on conceptional and methodological foundations of

databases and information systems, but is also open

for interesting applications. In June 2014 this workshop

was organised by the universities of Innsbruck, Jena and

Bolzano.

GvDB 2011

Conferences

ÖAGM/AAPR 2013

The 37th Annual Workshop of the Austrian Association for Pattern RecognitionMay 23 - May 24, 2013 – Innsbruck/Austria

This annual workshop has become a traditional meeting

for the image processing, pattern recognition and com-

puter vision community from numerous central European

countries. Around 90 participants attended the program

which comprised 2 keynote speakers, 7 featured spea-

kers, a Microsoft Visual Computing Award presentation,

11 contributed talks and a poster session.

ACM/IEEE 15th International Conference on Model Driven Engineering Languages & SystemsSeptember 30 - October 5, 2012 - Innsbruck/Austria

At the Models 2012 conference we welcomed 550 partici-

pants from over 33 countries in Congress Center Innsbruck.

The series of events started with the Modeling Master

Class 2012 for PhD students in unique University Centre

Obergurgl. 15 workshops and 12 tutorials in all areas of

model-based software development and systems modeling

took place. The main conference took place from October

3rd to October 5th. The IEEE Symposium on Visual Lan-

guages and Human-Centric Computer VL/HCC 2012 was

held in the same venue as co-located event. As novel events

we organized a Model Gamification Contest an exhibition

area with spotlight presentations on tools and projects.

The networking-fostering atmosphere as well as the high

quality program was appreciated by the participants.

MODELS 2012

23. GI-Workshop on Foundation of Databa-ses of the Gesellschaft für InformatikMay 31 - June 3, Obergurgl/Austria

The workshop „Foundation of Databases“, launched 25

years ago is the oldest and longest running workshop

of the “Gesellschaft fuer Informatik”. The workshop

facilitates communication between scientists, who work

on new concepts of databases and information systems.

In 2011 this workshop was hosted by the research group

Databases and Information Systems from the University

of Innsbruck.

11th IEEE/IFIP Annual Conference on Wireless On-demand Network Systems and ServicesApril 2 - April 4, 2014 Obergurgl/Austria

IEEE/IFIP WONS has established itself as a high-quality

forum to address challenges in the context of Wireless On-

demand Network Systems and Services and is based on

innovative contributions by experts in the field. In 2014,

50 participants joined the conference in Obergurgl, Tyrol,

Austria.

© W

erne

r W

ild

108 109


RoboCupJunior 2016 Austrian Open

The RoboCupJunior Austrian Open 2016 took place on 2nd

and 3rd of April 2016 in Innsbruck. It was organized by the

team of Justus Piater, leader of the research group Intelligent

and Interactive Systems (IIS) and the Management Center

Innsbruck (MCI). The possible disciplines to compete in, at

the 9th Austrian Open, were Rescue, Soccer and OnStage.

More than 350 robotics fans from schools from 10 different

countries were hosted at the SOWI Innsbruck.

Events 8. Guest lectures

© s

hutt

erst

ock

110 111


Title Lecturer Date

Making Privacy Decisions in Ubiquitous Computing Environments

Serge Egelman (University of California, Berkeley, Inter-national Computer Science Institute, BLUES Laboratory)

03.12.2015

The Human Brain Project from a Computing Angel Felix Schürmann (Co-director of the Blue Brain Project) 10.06.2015

Kryptographische Währungen als Zahlungsmittel: Prinzipien, Potenziale und Probleme am Beispiel Bitcoin

Rainer Böhme (Westfälische Wilhelms-Universität Münster, Information Systems and IT-Security)

27.11.2014

A Retrospective View On Banking Malware Stefan Ortloff (Kaspersky Lab) 27.11.2014

Agiles Entwickeln unter System und Software Engineering Bedingungen

Ernest Wallmüller (CEO IT Quality Group Zürich) 05.06.2014

Gödel's God on the Computer Christoph Benzmüller (Freie Universität Berlin, Maths and Computer Science)

22.05.2014

D-FLAT: Declarative Problem Solving using Tree Decompo-sitions and Answer-Set Programming

Stefan Woltran (TU Wien, Database and Artificial Intelligence Group)

15.05.2014

Top Secret - Kryptographie in der Kontroverse von Krise und Eskalation

Thomas Unterleitner (Entwicklungsleiter mils Electronic) 13.03.2014

How (well) do Datalog, SPARQL1.1 and RIF interplay? Axel Polleres (WU Wien, Institute of Information Business) 12.12.2013

Thermodynamic Graph-Rewriting Vincent Danos (University of Edingburgh, School of Informatics)

24.10.2013

Privacy in the Smart Grid Isabel Wagner (University of Hull, Department of Computerscience)

27.06.2013

Monitoring Policy Compliance David Basin (ETH Zürich, Department of Computerscience)

20.06.2013

On Resource Analysis of Imperative Programs Lars Kristiansen (University of Oslo, Dipartment of Informatics)

23.05.2013

Implementing Compilers as Higher-Order Rewriting Systems

Kristoffer H. Rose (IBM Thomas J. Watson Research Center, New York)

03.05.2013

The guest lectures of the Department of Computer Science seek to bring new perspectives and ideas to our researchers,

students, alumni and friends.

The following lectures were presented during the period from 2011 - 2015.

Title Lecturer Date

Evolving Structures and ramified Information Flow Jean-Yves Marion (Université de Lorraine, INRIA Nancy) 26.04.2013

Computational Neuromechanics Francisco J Valero-Cuevas(University of Southern Califor-nia, Los Angeles, Department of Biomedical Engineering)

14.03.2013

PMaC Framework Laura Carrington (San Diego Supercomputer Center, Performance, Modeling, and Characterization Lab)

14.02.2013

Edit lenses Martin Hoffmann (LMU München, Theoretische Informatik) 24.01.2013

Softwarequalität - Schlagwort und Realität? Ernest Wallmüller (CEO IT Quality Group Zürich) 14.01.2013

Brain-inspired Computing for Machine Vision Nicolai Petkov (University of Groningen, Department of Computing Science)

10.01.2013

Optimal and Robust Scheduling for Real Time Streaming in Unstructured Meshes

Renato Lo Cigno (University of Trento, Department of Information Engineering and Computer Science)

16.05.2012

Optimization of Semantic Web Queries Reinhard Pichler (TU Wien, Database and Artificial Intelligence Group)

03.05.2012

Finding Objects in Cluttered Scenes for Home Robotics Jim Little ( University of British Columbia, Department of Computer Science)

24.04.2012

Business Process Modeling. A Case Study: BPMN, YAWL, S-BPM

Egon Börger (University of Pisa, Department of Computer Science)

12.03.2012

Combining compositional Shape Hierarchy and Multi-Class Object Taxonomy for efficient Object Categorization

Ales Leonardis (University of Ljubljana, Visual Cognitive Systems Laboratory)

01.12.2011

IBM Change Risk Expert - Never touch a running Expert. Dirk Husemann (IBM research Zurich) 27.10.2011

Multi-Task Prediction of Drug Bioactivity with Ensembles of Graph Labeling Models

Juho Rousu (University of Helsinki, Department of Computer Science)

28.07.2011

The Free Software Movement and the GNU/Linux Opera-ting System, Free Software in Ethics and in Practice

Richard Stallman (GNU Project and Free Software Foundation)

09.06.2011

112 113


Title Lecturer Date

Bringing the Benefits of Java to Embedded Systems: Hard Real-Time Capable Garbage Collection in JamaicaVM

Cemens Ballarin (TU Munich, Department of Computer Science)

19.05.2011

Observations on the Use of UML in Industry Jim Arlow (Director of Clear View Training Limited) 07.04.2011

Predicate Abstraction and Refinement for Verifying Multi-Treaded Programs

Andrey Rybalchenko (TU Munich, Theoretical Computer Science)

17.03.2011

Teaching Semantics with a Proof Assistant or No more LSD trip proofs

Tobias Nipkow (TU Munich, Theorem Proving Group) 20.01.2011

114 115


Imprint

Published by Universität Innsbruck

Department of Computer Science

EditorUniv.-Prof. Dr. Ruth Breu

Department of Computer Science

Text EditorMag. Boris Puschitz

Concept & CoordinationGabriele Strasser

Graphics & LayoutOffice of Public Relations

Melanie Staffner, Catharina Walli

PhotoUniversität Innsbruck, Fotowerk,

© Institut für Informatik

Printed byonlineprinters.at

© 2016, Universität InnsbruckAll rights reserved. Copyright of each article stays with

the stated authors. Reproduction or dissemination of this document in whole or in part, wether on paper, on the

Internet or any other medium is subject to the permission from the respective copyright holder.