Welcome to the Dependable Systems Group @ MPI-SWS.

Our group is engaged in building reliable systems — from concurrent applications to distributed systems — by improving the methods used to build and deploy them.