Sasha Rubin

Visiting Assistant Professor of Mathematics

Web Site www.math.cornell.edu/~srubin/ Contact Information Office:  411 Malott Hall Phone:  (607) 255-7244 Fax:  (607) 255-7149 Email:  srubin@math.cornell.edu Courses & Office Hours

Education

Ph.D. (2004) University of Auckland

Research Area: Theoretical computer science and mathematical logic

My main interest is in the expressiveness and limitations of automata for describing logical systems and structures. In particular I work in the area of automatic structures with a focus on model theoretic questions and classifying classes of automatic structures up to isomorphism. I have also worked on the automata-theoretic approach to verification, and in finite model theory.

Selected Publications

Automatic linear orders and trees (with B. Khoussainov and F. Stephan), ACM Transactions on Computational Logic 6 no. 4 (2005), 675–700.

Automatic structures: richness and limitations (with B. Khoussainov, A. Nies, and F. Stephan), Logical Methods in Computer Science 3 (2007).

Automata presenting structures: a survey of the finite-string case, The Bulletin of Symbolic Logic 14 no. 2 (2008), 169–209.

Last modified: January 28, 2009