Foşti colegi

Dr. Ing.

Inginerie software; Sisteme de operare; Reţele şi comunicaţii; Grafică pe calculator şi vedere artificială; Reprezentare grafică şi animaţie; Procesarea imaginilor şi video.

1992 - 2024

Dr. Ing.

- 2007

Dr. Ing.

- 2013

Dr. Ing.

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

2008 - 2022

Dr. Ing.

Limbaje de programare şi compilatoare.

2010 - 2022

Dr. Ing.

2005 - 2015

Ing.

Sisteme hardware-software; Medii robotizate inteligente; Sisteme încorporate; Prelucrarea semnalelor şi multimedia; Achiziţia şi prelucrarea semnalelor; Infrastructuri şi medii inteligente; Instrumentaţie şi măsurare; Sisteme senzoriale şi de percepţie inteligentă; Reţele şi comunicaţii; Protocoale, interfeţe şi codificări; Reţele de senzori.

2002 - 2015

Ing.

Generarea şi regenerarea reprezentărilor logice pentru limbaje de programare orientate obiect; Verificarea formală a protocoalelor SDL.

2001 - 2008

Ing.

1970 - 2010

Ing.

Sisteme hardware-software; Sisteme încorporate; Reţele şi comunicaţii; Reţele de senzori.

2007 - 2014