Si occupa di Rifattorizzazione del Software Performance-driven, di Modellazione Non-funzionale e Analisi in Condizioni di Incertezza, e di Teoria del Controllo Applicata alla Teoria delle Code nelle Reti di Telecomunicazioni.