Giuseppe De Giacomo

Giuseppe De Giacomo

Professor of Computer Science

Governing Body Fellow, Green Templeton College

E: giuseppe.degiacomo@cs.ox.ac.uk

T: +44 (0) 1865283512

Room 354, Wolfson Building, Parks Road, Oxford OX1 3QD
United Kingdom

Themes:

• Data, Knowledge and Action
• Automated Verification
• Artificial Intelligence and Machine Learning

Completed Projects:

• ERC AdG WhiteMech

Biography

Giuseppe De Giacomo is a Professor of Computer Science at the Department of Computer Science of the University of Oxford and a Governing Body Fellow at Green Templeton College. He was previously a Professor at the Department of Computer, Control and Management Engineering of the University of Roma "La Sapienza". His research activity concerns theoretical, methodological, and practical aspects in different areas of AI and CS, most prominently Knowledge Representation, Reasoning about Actions, Generalized Planning, Autonomous Agents, Reactive Synthesis and Verification, Service Composition, Business Process Modeling, and Data Management and Integration. He is an AAAI Fellow, ACM Fellow, and EurAI Fellow. He received an ERC Advanced Grant for the project WhiteMech: White-box Self Programming Mechanisms (2019-2025). He was the Program Chair of ECAI 2020 and KR 2014. He is on the Board of EurAI. He chairs the steering committee of the new EurAI yearly summer school ESSAI.

See also

• ERC AdG WhiteMech
• Green Templeton College
• Course on Foundations of Self-Programming Agents: 2024-2025
• Papers

Selected Publications

View AllManage publications

• Service Composition for LTLf Task Specifications

  Giuseppe De Giacomo‚ Marco Favorito and Luciana Silo

  In Information Systems. Vol. 133. Pages 102571. 2025.

  Details about Service Composition for LTLf Task Specifications | BibTeX data for Service Composition for LTLf Task Specifications

• LTLf synthesis under environment specifications for reachability and safety properties

  Benjamin Aminof‚ Giuseppe De Giacomo‚ Antonio Di Stasio‚ Hugo Francon‚ Sasha Rubin and Shufang Zhu

  In Information and Computation. Vol. 303. Pages 105255. 2025.

  Details about LTLf synthesis under environment specifications for reachability and safety properties | BibTeX data for LTLf synthesis under environment specifications for reachability and safety properties

• LTLf Synthesis Under Unreliable Input

  Christian Hagemeier‚ Giuseppe De Giacomo and Moshe Y. Vardi

  In Proceedings of the 39th AAAI Conference on Artificial Intelligence (AAAI). 2025.

  Details about LTLf Synthesis Under Unreliable Input | BibTeX data for LTLf Synthesis Under Unreliable Input

Current Student

Research