Home

I'm a Ph.D. in Computer Science working as an Associate Professor in the Department of Information Engineering, Computer Science and Mathematics (DISIM) at the University of L'Aquila in L'Aquila, Italy.

My primary research interests are formal methods, applied to a variety of contexts ranging from formal languages to software verification (model checking), planning, conceptual modelling and cybersecurity

My current teaching activity includes the Web Engineering, Advanced Web Development and Databases Lab courses in the Degree in Computer Science and the Web API course in the Master in Mobile and Web Technology. I am also the primary tutor of all the students of the Master Degree in Computer Science, for all the issues concerning their study plan.

 

Appello straordinario di novembre (corsi di laurea in informatica) - AGGIORNAMENTO

(aggiornamento della notizia pubblicata in data 21/10/2021) È previsto nel mese di novembre un appello straordinario di esami riservato, per i corsi di laurea in ...

Corso di Cloud Computing (Laurea Magistrale in Informatica)

Gli studenti di Laurea Magistrale che intendessero inserire l'insegnamento in oggetto nei propri piani di studio (come insegnamento opzionale o a libera scelta) sono pregati di ...

Presentazione dei piani di studio della Laurea Triennale in Informatica

Si avvisano gli studenti del III anno della Laurea Triennale in Informatica che venerdì 1° ottobre 2021, alle ore ore 10.00, sul team "Corsi Opzionali/Optional Courses - ...

Utilizziamo i cookie per offrirti il ​​nostro servizio. Continuando a utilizzare questo sito acconsenti al nostro utilizzo dei cookie come descritto nella nostra policy.