Scholar
Sasha Rubin
Google Scholar ID: f5HrcOwAAAAJ
University of Sydney
Citations & Impact
Citations
1,421
H-index
20
i10-index
41
Publications
20
Co-authors
43
list available
Contact
No contact links provided.
Publications
Resume (English only)
Academic Achievements
- Published papers and served as a program committee member or senior member in top international conferences including IJCAI, AAAI, AAMAS, KR, among others.
Research Experience
- Serves as an editor or committee member for several academic journals and conferences such as JAIR Associate Editor, TCS-B Editor, etc.; involved in organizing multiple international conferences and workshops like the Australasian Association for Logic Conference.
Background
- Senior Lecturer at the School of Computer Science, The University of Sydney, and the leader of the Computational Logic for Artificial Intelligence (LOGIC-AI) Lab. Main research interests include: Foundations of synthesis and planning for AI, 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.
Miscellany
- Teaching includes courses such as Models of Computation (2nd year undergraduate course at the University of Sydney), Data Structures and Algorithms (postgraduate course at the University of Sydney), Computer Science Research Methods (HDR course at the University of Sydney), and Milestones in Descriptive Complexity Theory (Logic Summer School course at ANU).
