• 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