I'm an RTD-B at the Department of Computer Science and Engineering, University of Bologna (Unibo), Italy.
After a secondary diploma in classic and modern literature, I studied Computer Engineering at Sapienza University of Rome, and later got a PhD in Engineering and Computer Science at the same university.
Before Unibo, I worked at the University of Melbourne (AU) on human-agent collaboration, at the University of Nottingham (UK) on Cloud Manufacturing, at the free University of Bolzano (IT) on process analysis and verification.
My research interests include but are not limited to business process analysis, synthesis of controllers for behavior and service compositions, reasoning about actions, verification and model checking, multi-agent systems.
I am a native italian speaker and I'm fluent in english and spanish. I have intermediate level in german.
I obtained the italian Professional Habilitation (area: Information Engineering) in 2011 and the National Scientific Habilitation (area: 01/B1) in 2020.