He received the M.S. in Electronic Engineering and the Ph.D. in Artificial Intelligent Systems from the University of Ancona, Italy in 1989 and 1994, respectively. He has worked as consultant at the Istituto di Ricerca Scientifica e Tecnologica (IRST), Trento, Italy (1991–1997). He was a visiting scholar at the Australian Artificial Intelligence Institute (AAII), Carlton, Vic., Australia and at the Computer Science Department, Stanford University, California in 1992 and 1996, respectively. His research has been supported by grants from European Union and Italian Minister of University and Scientific Research. His present research areas include Formal Methods and Model Checking applied to Semantic Web Services, Computer and Network Security (in cooperation with Italian State Police), and Multi-agent Systems.