معرفی
Dr. Sasha Rubin is a Senior Lecturer and leader of the Computational Logic for AI (LOGIC-AI) group at the School of Computer Science, The University of Sydney. He holds a PhD in Mathematics and Computer Science from the University of Auckland and previously worked at the University of Naples Federico II. His research focuses on logic foundations of AI, including synthesis, planning, formal methods, and multi-agent systems. He teaches courses like Models of Computation and supervises students in topics like probabilistic systems and reinforcement learning.
Research Interests: Mathematical Logic, Formal Verification, Temporal Logic Synthesis, Automated Reasoning, and Multi-Agent Systems. He has published extensively in top venues like IJCAI, AAAI, and ACM Transactions. His work includes verification of agent navigation, strategy logic, and planning under uncertain environments.
Awards: Recognized as an Australian Research Field Leader in Theoretical Computer Science (2020). He serves on editorial boards for JAIR and conferences like KR, and organizes events such as the Australasian Association for Logic Conference (2024).
Supervision and Grants: Current students include Ethan HIRSCHOWITZ and Kunal OSTWAL. Past supervision spans MPhil/PhD projects on probabilistic systems, ML classifier fairness, and symbolic automata. His grants include studies on logic and robots in anonymous graphs.
Professional Activities: Member of EATCS, ACM, and mentor for the Sydney Summer Innovation Programme. He leads the LOGIC-AI lab and collaborates internationally, notably with Giuseppe De Giacomo at Sapienza University of Rome.
