Francesco Pagliarecci

• Programmazione ad Oggetti

Research Areas

• 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).

Office Phone:
+39 071 2204809

Room:
Q165_130