Full contact information is available in section Contact
Altri ambiti di ricerca in cui è attualmente coinvolto comprendono linguaggi per la descrizione formale della dinamica dei sistemi software. Precedentemente si è anche occupato di linguaggi formali, studiando e implementando un'estensione delle espressioni regolari (le espressioni regolari sincronizzate) .
Nell'ambito di queste aree di ricerca, ho collaborato e collabora con ricercatori di numerosi atenei italiani, quali le Università 'La Sapienza' e 'Tor Vergata' di Roma e L'Università 'G. D'Annunzio' di Chieti-Pescara.
Reviewer for several international journals (e.g., Journal of Visual Languages and Computing, Journal of Systems and Software, Software Tools For Technology Transfer, Applied Soft Computing, Software: Practice and Experience, Information Sciences, International Journal on Software Engineering and Knowledge Engineering)
Advisor of the following Ph.D. students: Ivan Letteri, Daniele Magazzeni, Fabio Mercorio
Supervisor of 105 theses and 26 master theses.
A complete list of my publications is available in section Papers