Giuseppe De Giacomo


http://www.diag.uniroma1.it/~degiacomo 

Full professor (professore ordinario) at Dipartimento di Ingegneria Informatica, Automatica e Gestionale, FacoltÓ di Ingegneria dell'Informazione, Informatica e Statistica, Sapienza Universita' di Roma
De Giacomo, Giuseppe  
Dipartimento di Ingegneria Informatica, Automatica e Gestionale 
Sapienza Universita' di Roma
Via Ariosto 25 
00185 Roma, Italy 
Tel: +39 06 77274010 (int. 35010) Fax: +39 06 77274002
Email: "degiacomo(at)diag.uniroma1.it" WWW: http://www.diag.uniroma1.it/~degiacomo

Research

My field is Artificial Intelligence. My main research area is Knowledge Representation and Automated Reasoning. I contributed to several topics in Artificial Intelligence and Computer Science, including Description Logics, Ontologis, Data Management, View-based Query Processing, Data Integration, Reasoning about Actions, Situation Calculus, Generalized forms of AI Planning, Cognitive Robotics, AI-based Manufacturing, Smart Spaces and Internet of Things, Business Process Modeling, Verification and Synthesis of KR-based systems, Logics of Programs, Temporal Logics, Fixpoint Logics, Service Composition and Integration, Data-Aware Process Modeling and Analysis. I am AAAI Fellow, ACM Fellow, and EurAI Fellow. Papers - DBLP - Google Scholar - Links

Teaching (partially in Italian)