Information and Computer Security: the application of AI techniques to security; Intrusion Detection Systems
Service Oriented Architecture: the application of Formal Methods to Semantic Web Services and Business Process
Agent Systems: the definition of new programming paradigm and language (Alan); Multi-Agent Systems (JEAP)
Formal Verification: the definition of Semantic Model Checking (SMC)
Capsule Bio
M.S. in Electronics Engineering (with a specialization in Computer Science) at the University of Ancona (2002 December).
International Fellowship at SRI International in Menlo Park California USA (2005 September – 2005 December).
Ph.D. in Artificial Intelligent Systems at Università Politecnica delle Marche defending a thesis “Alan: An Agent-Object Programming Language” (2006 December).
Post-doctoral about “Algorithms for discovery and composition of Web Services, at process-level with semantic annotation” at the Dipartimento di Ingegneria Informatica, Gestionale e dell’Automazione – Università Politecnica delle Marche (since 2007 May).
Email: