Foşti colegi

Image Marian Boldea
Dr. Ing.

Marian BOLDEA

Şef lucrări
Activitate în departament
- 2007
Image Constantin Cosovan
Dr. Ing.

Constantin COSOVAN

Şef lucrări
Activitate în departament
- 2013
Casandra Holotescu
Dr. Ing.

Casandra HOLOTESCU

Şef lucrări
Domenii şi interese de cercetare
Modelare, verificare formală şi testare; Sisteme bazate pe componente;
Modelare, verificare formala si testare: invatare de modele black-box si white-box, generare automata de teste bazata pe modele, modelare si verificare a protocoalelor de securitate
Sisteme bazate pe componente: verificare formala bazata pe componente cu un accent pe aspectele de controlabilitate ale acestora, depanarea sistemelor bazate pe componente
Carmen HOLOTESCU
Dr. Ing.

Carmen HOLOTESCU

Asistent universitar
Activitate în departament
2005 - 2015
Picture of Călin JEBELEAN
Ing.

Călin JEBELEAN

Asistent universitar
Domenii şi interese de cercetare
Generarea şi regenerarea reprezentărilor logice pentru limbaje de programare orientate obiect; Verificarea formală a protocoalelor SDL.
Activitate în departament
2001 - 2008
Imagine Adrian MIHĂILESCU
Ing.

Adrian MIHĂILESCU

Asistent universitar
Activitate în departament
1970 - 2010
Rodica Cioc
Ing.

Rodica CIOCÂRLIE

Personal tehnic
Activitate în departament
1977 - 2013
Imagine Ambroziu BĂLAN

Ambroziu BĂLAN

Personal tehnic
Activitate în departament
1970 - 2012
Image Maria Belu

Maria BELU

Personal tehnic
Secretar
Activitate în departament
1997 - 2006
Image Gheorghe BISORCA

Gheorghe BISORCA

Personal tehnic
Activitate în departament
1980 - 2007