Sasha Rubin
Senior Lecturer
Leader of the Computational Logic for Artificial Intelligence (LOGIC-AI) Lab
School of Computer Science, The University of Sydney
ua.ude.yendys@nibur.ahsas
Research
My main interest is in Logic and Formal Methods for AI. In particular:- Logic-based explainable AI
- Foundations of synthesis and planning for temporally extended goals
- Verification of distributed and multi-agent systems
- Logics for games and strategic reasoning
- Automata theory and formal-language theory
- Finite and algorithmic model theory
Publication Profiles
Boards
- ASL Committee for Logic in Australasia 2022-2024
- JAIR Editorial Board 2021-2024
- IJCAI PC Board 2022-2024
- AMAI Associate Editor 2020-
Events
- AAAI 2023 SSS - On the Effectiveness of Temporal Logics on Finite Traces in AI
- Australasian Logic Colloquium
- AAMAS: 2023 Doctoral Consortium (PC), 2022 (AC), 2020 (spc), 2019 (spc)
- AAAI: 2022 (spc), 2020 (spc), 2019 (spc)
- IJCAI: 2022 (pc board), 2021 (spc), 2020 (spc), 2019 (pc)
- KR: 2021 (pc), 2020 (pc), 2018 (pc)
Selected Teaching
- Models of Computation, University of Sydney, 2nd year course (2020, 2021, 2022)
- 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.