Paolo Felli

I'm an RTD-B at the Department of Computer Science and Engineering, University of Bologna (Unibo), Italy.

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.