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:

Publication Profiles

Boards

Events

 

Selected Teaching

Links

I am collecting links to writeups of existing results, open problems, or surveys from the Games, Automata and Logic literature.