Giuseppe De Giacomo

Professor 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: 2025-2026
• Papers

Selected Publications

View AllManage publications

• Agentic Business Process Management: A Research Manifesto

  Diego Calvanese‚ Angelo Casciani‚ Giuseppe De Giacomo‚ Marlon Dumas‚ Fabiana Fournier‚ Timotheus Kampik‚ Emanuele La Malfa‚ Lior Limonad‚ Andrea Marrella‚ Andreas Metzger‚ Marco Montali‚ Daniel Amyot‚ Peter Fettke‚ Artem Polyvyanyy‚ Stefanie Rinderle−Ma‚ Sebastian Sardiña‚ Niek Tax and Barbara Weber

  In Information Systems. Vol. 140. Pages 102738. 2026.

  Details about Agentic Business Process Management: A Research Manifesto | BibTeX data for Agentic Business Process Management: A Research Manifesto

• Towards ILP−based LTLf Passive Learning

  Antonio Ielo‚ Mark Law‚ Valeria Fionda‚ Francesco Ricca‚ Giuseppe De Giacomo and Alessandra Russo

  In Journal of Logic and Computation. Vol. 36. No. 2. Pages exaf069. 2026.

  Details about Towards ILP−based LTLf Passive Learning | BibTeX data for Towards ILP−based LTLf Passive Learning

• Strategic Reasoning over Golog Programs in the Nondeterministic Situation Calculus

  Giuseppe De Giacomo‚ Yves Lespérance and Matteo Mancanelli

  In Proceedings of AAAI 2026. 2026.

  Details about Strategic Reasoning over Golog Programs in the Nondeterministic Situation Calculus | BibTeX data for Strategic Reasoning over Golog Programs in the Nondeterministic Situation Calculus

Current Students

Research