Durata Studiilor: 2 ani (4 semestre)

(Context general, misiune si obiective strategice) Sistemele distribuite reprezinta regula, si nu exceptia, in zilele de astazi. Pe cat sunt de raspandite, pe atat este de dificila proiectarea si analiza lor. Este foarte greu de specificat ce se urmareste de la un sistem distribuit si cu atat mai greu de verificat ca o aplicatie distribuita respecta specificatia respectiva. Scopul prezentului program de masterat este de a oferi studentilor o pregatire solida in domeniu prin prezentarea intr-un modul unitar a unor fatete tipice ale sistemelor distribuite. Un accent deosebit este pus pe dezvoltarea de algoritmi paraleli si distribuiti, programare paralela si concurenta si tehnici de specificare si verificare formala a sistemelor concurente. In acelasi timp, sunt prezentate elemente fundamentale de securitate, stiut fiind ca sistemele distribuite pun probleme de securitate sporite. Cursurile incluse in acest program sunt cursuri de anul I cu audienta mai generala (4), cursuri specifice de anul II (6) si cursuri elective din anii 1 si 2 (6). Pe partea de algoritmi, sunt incluse 2 cursuri (Proiectarea algoritmilor eficienti, Algoritmi paraleli si distribuiti), primul dedicat in general proiectarii de algoritmi eficienti, al doilea axat p