Stav dette: Computer sciences technical report