Computational Systems Group

The Computational Systems Group at the Department of Computer Sciences at the University of Salzburg, Austria, is devoted to studying and teaching the principled design and implementation of systems software. The current research focus is on scheduling (TAP) and systems (Tiptoe) as well as on real time (HTL) and control (Jarol) of model helicopters (JAviator). The curriculum includes classes and seminars on operating systems, compiler construction, embedded software engineering, the theory of computation, and model checking.

Group

Professor:: Christoph Kirsch

Postdocs:: Ana Sokolova; Rainer Trummer

PhD Students:: Andreas Haas; Clemens Krainer; Michael Lippautz; Hannes Payer

Masters Students:: Martin Aigner; Florian Landolt; Andreas Löcker; Andreas Rottmann; Stephanie Stroka

Graduated PhD Students:: Silviu Craciunas; Daniel Iercan (co-advised); Eduardo Marques (co-advised); Harald Röck; Rainer Trummer

Projects

The JAviator Project:
Quadrotor UAV Software Entirely Written in Java
The Jarol Project:
A Java Infrastructure for Control Systems
The TAP Project:
Concurrent Programming with Threading by Appointment
The Tiptoe Project:
A Compositional Real-Time Operating System
The HTL Project:
Compositional Real-Time Programming in a Hierarchical Timing Language
The Giotto Project:
High-Level Programming of Distributed Embedded Control Systems