Sasha Rubin

Dr Sasha Rubin is a researcher at The University of Sydney, affiliated with the CS department. His research interests include computational logic and formal languages, artificial intelligence, theory of computation, and information systems. Prior to joining The University of Sydney in 2019, he worked at the University of Naples Federico II. Dr Rubin holds an undergraduate degree in mathematics and computer science from the University of Cape Town, and a PhD in mathematics and computer science from the University of Auckland.

Sasha Rubin is a researcher at the University of Sydney with expertise in Computational Logic, Formal Methods, and Artificial Intelligence. Their work focuses on the theoretical foundations of verification, planning, and logic in multi-agent systems. Rubin's research explores decidability in parameterized verification, strategy logic with imperfect information, and automata-theoretic approaches to formal verification. They have also contributed to the study of automatic structures, linear orders, and the verification of ω-regular properties of Markov chains. Their publications highlight the intersection of logic, formal methods, and AI, particularly in the context of planning under environment constraints and epistemic reasoning in multi-agent systems.