, Uniwersytet Wrocławski, Instytut Informatyki