This page is obsolete! Please go to
the new department website.

Computational Systems

Contact person: Christoph Kirsch

Description

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 (TAP) and systems (Tiptoe) as well as on real time (Giotto, 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. 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.

---