Bob McGrail, ASC Lab Director

I am the founder of the computer science program at Bard College and the Director of the Laboratory for Algebraic and Symbolic Computation within the Reem Kayden Center for Science and Computation.

I am interested in the role of language in computing from a deductive perspective. My Ph.D. dissertation was in the area of programming language semantics. Since that time I have developed broader interests in the general problem of the expressiveness of languages for computing.

Research Interests

  • Databases and the Semantic Web
  • The Constraint Satisfaction Problem
  • Finite Model Theory
  • Logic and Logic Programming


  • Ph.D. Logic in Computer Science, Wesleyan University, 1999
  • M.A. Mathematics, Boston College, 1992
  • B.A. Mathematics and History, Saint Joseph's College (Maine), 1990



Phone: (845)752-2308