Robert W. McGrail

Assistant Professor of Computer Science and Mathematics

Division of Science, Mathematics, and Computing

Welcome to my online home. I am the founding member of the Computer Science Program at Bard College and have been mentoring Bard students since the fall of 1999.

I am also the Director of the Bard College Laboratory for Algebraic and Symbolic Computation (ASC). The ASC Lab is committed to the application of automated deduction and knowledge management technologies to mathematics. Areas of current interest within the laboratory include the computational structure theory of finite quandles.

In addition, I function as the house foundationalist in the Mathematics Program, taking primary intellectual responsibility for Logic, Category Theory, and Set Theory.

Contact Information

Office:       Reem-Kayden 207
Phone:      x2308
Email:       mcgrail AT bard DOT edu
Schedule: Yahoo!

Mailing Address

Reem-Kayden Center 207
31 Campus Road
Bard College
Annandale-on-Hudson, NY 12504

Education

Ph.D. 1999. Wesleyan University. Middletown, CT.
Dissertation: "Monads, Predicates, and Categorical Logic Programming."

M.A. 1992. Boston College. Chestnut Hill, MA.

B.A. 1990. Saint Joseph's College. magna cum laude. Windham, ME.

Events

McGrail Presents at MathFest 2007
Fri, 8/3/07 - Bob McGrail presented the details of his unique graduate course in logic and automated deduction at MathFest 2007.

Accessible Version Imprint