I am a Senior Research Associate at the Department of Computer Science, University of Oxford, working with Prof. Giuseppe De Giacomo on his Advanced ERC project WhiteMech, and Research Member of Common Room at Kellogg College.
Email: antonio.distasio AT cs.ox.ac.uk
Research
My research topics include Game Theory, Parity Games, Formal Aspects of System Specification, Verification, Synthesis, and Automated Planning.
Teaching
- Foundations of Self-Programming Agents (Class Tutor), Department of Computer Science, University of Oxford
- Game-Theoretic Approach to Planning and Synthesis, 24-28 July 2023, ESSAI 2023, Ljubljana, Slovenia
- Game-Theoretic Approach to Planning and Synthesis, (Phd Course), 4-8 July 2022, Sapienza University of Rome
Service
- Chair: On the Effectiveness of Temporal Logics on Finite Traces in AI part of the AAAI 2023 Spring Symposium Series
- PC Member: ECAI 2020, AAAI 2021, IJCAI 2021 (Survey), AAMAS 2021, AAMAS 2022,
IJCAI 2022 (Survey), IJCAI 2023 Main Track, IJCAI 2023 Survey Track - Journal Reviewer: Fundamenta Informaticae
Publications
The papers posted here consist of preliminary versions of papers that are about to be published or have been published in journals or conference proceedings. For final versions, please see cited journals or proceedings.
Last update on: October 12, 2022