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

Postdoc:: Ana Sokolova

PhD Students:: Silviu Craciunas; Andreas Haas; Clemens Krainer; Hannes Payer; Harald Röck; Rainer Trummer

Masters Student:: Martin Aigner; Andreas Löcker; Andreas Rottmann

Visiting PhD Student:: Eduardo Marques

Former Group Members:: Marcus Harringer; Bernhard Kast; Wolfgang Kreil; Horst Stadler

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