|
|
|
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 and applications of the Semantic Web to
mathematical knowledge management.
|
|
|
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. |
|
|
Accessible Version
Imprint