Distributed Systems and Computing, FIT, ČVUT