Giuseppe De GiacomoView profile
Professor
Giuseppe De Giacomo is a Professor of Computer Science at the University of Oxford's Department of Computer Science and a Governing Body Fellow at Green Templeton College. Previously, he held a Professorship at the University of Roma 'La Sapienza'. His research focuses on Knowledge Representation, Automated Planning, Reactive Synthesis, and Formal Verification, with notable contributions to LTLf-based systems and service composition. He leads the ERC Advanced Grant project WhiteMech, exploring self-programming mechanisms. His research interests span Artificial Intelligence, including formal methods for autonomous systems, temporal logic synthesis, and multi-agent systems. He serves on the Board of EurAI and chairs the steering committee of ESSAI. Notable awards include AAAI Fellow, ACM Fellow, and EurAI Fellow. Recent work emphasizes LTLf extensions, environment specifications in planning, and resilient manufacturing via Markov Decision Processes. He advises students like Christoph Weinhuber and collaborates on projects such as Digital Twin Composition in Smart Manufacturing. His publications explore topics like LTLf synthesis under unreliable inputs, temporal abstraction in planning, and ethical responsibility attribution in autonomous systems. Professional service includes Program Chair roles for ECAI 2020 and KR 2014, and contributions to conferences like IJCAI and ICAPS. His research bridges theoretical foundations with practical applications in AI and formal verification.








