Research Interests

I am generally interested in the application of computing in order to advance the current state of mathematical knowledge, especially in the areas of algebra, logic, and theoretical computer science. My primary vehicles for achieving such ends are automated deduction and mathematical knowledge management. All of my research projects are conducted within my Laboratory for Algebraic and Symbolic Computation.

My historical diversity of interests and background has equipped me to oversee senior and masters projects in programming language design and implementation, automated deduction, databases, algorithms and complexity, and finite model theory.

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.