Giuseppe De Giacomo


http://www.dis.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)dis.uniroma1.it" WWW: http://www.dis.uniroma1.it/~degiacomo

Research

Research Areas: Artificial Intelligence, Knowledge Representation & Reasoning, Description Logics, Ontology Languages, Data Managment, View-based Query Processing, Data Integration, Reasoning about Actions, Situation Calculus, Automated Planning, Cognitive Robotics, Smart Object, Smart Spaces and Internet of Things, Process Specification, Verification, and Synthesis, Logics of Programs, Temporal Logics, Fixpoint Logics, Service Composition and Integration, Data-Aware Process Modeling and Analysis. Papers - DBLP - Google Scholar - Links

Teaching (partially in Italian)