Personal Web Page:


BSc, MSc, PhD

Languages spoken

I speak Italian and a bit of French.

I am module leader for BIS4610 (Information Security Management) and I also teach CTM4031 (Fundamentals of Computer Programming).

My research interests include model checking for extensions of temporal logics, formal methods, multi-agent systems and modal logics. Please see my personal web page for an up-to-date list of publications and for my teaching material.