- Inteligență artificială
- Sisteme de transmitere și prelucrare a datelor
- Specificarea si proiectarea sistemelor de programe
- Modele de calcul si metodologii de programare
- Procesarea semnalelor
- Verificarea sistemelor de programe
- Testarea si modelarea formala a aplicatiilor software bazate pe servicii
- Modelarea matematică
În cadrul acestor domenii de cercetare s-au dezvoltat mai multe teme (directii) de cercetare:
- Proiectarea si implementarea sistemelor distribuzite.
- Programare extrema.
- Specifcarea sistemelor de programe prin utilizarea X-masinilor
- Sisteme specializate pentru testarea la nivel de unitate a sistemelor orientate pe obiecte
- Metodologii de testare în sistemele orientate pe aspecte.
- Procesarea documentelor XML
- Teoria informatiei si detectarea intruziunilor în retelele de calcul
- Verificarea formala a programelor
- Modele de calcul non- standard, P sisteme.
- Modelare neuro- fuzzy
- Metodologii data-mining
- Transmiterea si analiza imaginilor in telemedicine
- Sisteme automate de analiza a riscului, diagnoza si decizie pentru asistarea actului medical
- Proiectarea sistemelor de baze de date distribuite
|