BSc, MSc, PhD
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.