I'm a RTDA (non-tenured assistant professor) at the KRDB Research Centre for Knowledge and Data - Faculty of Computer Science, Free University of Bozen-Bolzano (Unibz), 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 Unibz, I worked at the University of Melbourne (AU) on human-agent collaboration, then at the University of Nottingham (UK) on Cloud Manufacturing.
My research interests include but are not limited to 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.