Securitate & Logică aplicată

Program de master

Facultatea de Matematică și Informatică
Universitatea din București



Program susținut de bitdefender



Nou! Burse Bitdefender pentru studentii SLA

Burse Bitdefender

pentru studentii SLA

  • Bitdefender acorda doua burse de merit si doua burse de cercetare studentilor inscrisi la masterul SLA, conform regulamentului de mai jos.
  • Fiecare din cele patru burse are cuantumul de 1000 RON /luna si se acorda pentru cinci luni (Martie-Iulie 2018).
  • Bursele se acorda numai studentilor fara restante.
  • Bursele pot fi cumulate.

BURSE de MERIT

Bursieri in semestrul II: Elena-Alexandra Ibiş, Adriana Stancu

Regulament [anul universitar 2017-2018]
Se acorda doua burse de merit, primilor doi studenti in ordinea mediei finale obtinute la sfarsitul primului semestru din anul I de master. In caz de egalitate, studentii vor fi departajati prin media de admitere la programul de master.


BURSE de CERCETARE

Bursieri in semestrul II: Adriana Stancu

Regulament [anul universitar 2017-2018]
Bursele de cercetare se adreseaza studentilor SLA care aleg sa faca practica in cercetare in semestrul II. Pentru a castiga o bursa de cercetare studentii trebuie sa trimita la adresa sla [at] unibuc.ro un proiect de cercetare pana la data de 15 februarie 2018. Fiecare student trebuie sa isi aleaga ca profesor supervizor unul dintre profesorii masterului SLA. Profesorii supervizori vor indruma studentii in vederea redactarii proiectului de cercetare si vor monitoriza realizarea acestuia. Proiectele pot fi alese dintre subiectele propuse pentru practica de cercetare, dar pot fi propuse si teme noi in domeniul masterului.
Persoana de contact pentru intrebari:
Laurențiu Leuștean
laurentiu.leustean [at] unibuc.ro

SEMINARII ŞTIINŢIFICE

CRYPTO SEMINAR

Pagina seminarului

Miercuri 28.02, ora 18.00, sala 5
George Teseleanu, Injecting hidden vulnerabilities in cryptographic primitives

LOGIC SEMINAR

Pagina seminarului.

Joi 22.02, ora 10.00, sala 202
Natalia Moangă, Many-sorted polyadic modal logic

CURSURI OBLIGATORII

PRACTICĂ

  • Pentru efectuarea modulului de practică, studenții pot alege una dintre cele patru opțiuni de mai jos.
  • Practica se va efectua sub îndrumarea unui coordonator și se finaliză printr-un colocviu de practică.
  • Pentru stabilirea tematicii și a coordonatorului studenții trebuie să contacteze tutorele corespunzator opțiunii alese, decizia finală se va lua numai cu acordul acestuia.
  • Studenții vor trimite un email cu tema și coordonatorul ales pe adresa sla [at] unibuc.ro până la data de 3.11.2017.
  • Opțiunea aleasă poate fi schimbată în semestrul II.
  • La sfârșitul fiecărui semestru se va organiza un colocviu de practică în care fiecare student va prezenta tema aleasă.
  • Nota primită la sfârșitul fiecărui semestru se calculează după formula: n=70% n1 +30% n2, unde n1 este nota coordonatorului și n2 este nota primită la colocviu.

FACULTATE

Tutore:
Mihăiță Drăgan
dragan_mihaita [at] yahoo.com

BITDEFENDER

Tutore:
Bogdan Dumitru
bogdan27182 [at] gmail.com

CERCETARE

Tutore:
Laurențiu Leuștean
laurentiu.leustean [at] unibuc.ro
Teme de cercetare:
Denisa Diaconescu - lista teme
Laurențiu Leuștean - lista teme
Mihai Prunescu - lista teme
Silviu Laurențiu Vasile - lista teme

ALTĂ OPŢIUNE

Tutore:
Silviu Laurențiu Vasile
vsl [at] fmi.unibuc.ro
Se va semna un contract de practică.

materiale, informatii


LOGICĂ AVANSATĂ
PENTRU INFORMATICĂ
Pagina cursului


VERIFICAREA PROGRAMELOR
Pagina cursului

Profesori

responsabili pentru cursurile SLA



Denisa Diaconescu
ddiaconescu [at] fmi.unibuc.ro


Mihaita Dragan
dragan_mihaita [at] yahoo.com


Bogdan Dumitru
bogdan27182 [at] gmail.com


Adela Georgescu
adela [at] fmi.unibuc.ro


Ioana Leustean
ioana [at] fmi.unibuc.ro


Laurentiu Leustean
laurentiu.leustean [at] unibuc.ro


Letitia Marin
letitia [at] fmi.unibuc.ro


Ruxandra Olimid
ruxandra.olimid [at] fmi.unibuc.ro


Mihai Prunescu
mihai.prunescu [at] gmail.com


Traian Serbanuta
traian.serbanuta [at] fmi.unibuc.ro


Silviu Laurentiu Vasile
vsl [at] fmi.unibuc.ro