# 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

### Education

- 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

### Projects

- Toward an Ontology for Finite Algebras
- Toward an Online Database for Knots and Quandles
- Tricolorable Torus Knots are NP-Complete
- The Class of Constraint Satisfaction Problems Over a Knot
- Knots and the Constraint Satisfaction Problem
- Quandles

### Contact

Email: mcgrail@bard.edu

Phone: (845)752-2308