This page is obsolete! Please go to
the new department website.
The Computational Systems Group is devoted to studying and
teaching the principled design and implementation of systems software. The
current research focus is on scheduling
well as on real time
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.
The group is headed by Univ.-Prof. Dr. Christoph Kirsch
More information about this group is available at http://cs.uni-salzburg.at/~ck/group.