My main interest is in Logic and Formal Methods for AI. In particular:
-
Models of Computation, University of Sydney, 2nd year course (2020, 2021, 2022, 2023, 2024)
- Logic Summer School course, Milestones in Descriptive Complexity Theory, ANU Logic Summer School, December, 2019
- PhD course, Milestones in solving games on graphs, TU Vienna, November/December 2017
- PhD course, Games on graphs, University of Naples, April, 2017
Links
I am collecting links to writeups of existing results, open problems, or surveys from the Games, Automata and Logic literature.