Sasha Rubin

Area of research

Artificial Intelligence · Computational Theory and Mathematics

Research interest

Research interests include Formal Methods in Verification, Logic, Reasoning, and Knowledge, Logic, programming, and type systems, and semigroups and automata theory.

Looking for a research collaborator?

Search millions of scientists by field, institution, impact, and funding status — see their work, find their email, and reach out directly.