Sasha Rubin
Senior Lecturer
Leader of the Computational Logic for Artificial Intelligence (LOGIC-AI) Lab
School of Computer Science, The University of Sydney
Research
My main interest is in Logic and Formal Methods for AI. In particular:
- Foundations of synthesis and planning for temporally extended goals, decision-theoretic planning
- Logic-based explainable AI
- Verification of distributed and multi-agent systems
- Logics for games and strategic reasoning
- Automata theory and formal-language theory
- Finite and algorithmic model theory
Profiles
Current Boards
Events
-
Australasian Association for Logic Conference (Sydney)
2024
-
Australasian Logic Colloquium (Brisbane)
2023
-
AAAI 2023 SSS - On the Effectiveness of Temporal Logics on Finite Traces in AI
- AAMAS:
2023 Doctoral Consortium (PC),
2022 (AC),
2020 (spc),
2019 (spc)
- AAAI: 2024 (spc),
2022 (spc),
2020 (spc),
2019 (spc)
- IJCAI:
2023 (pc),
2022 (pc board),
2021 (spc),
2020 (spc),
2019 (pc)
- KR:
2024 (pc),
2021 (pc),
2020 (pc),
2018 (pc)
Selected Teaching
- 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