For a better experience, click the Compatibility Mode icon above to turn off Compatibility Mode, which is only for viewing older websites.

Mark Boady

Mark Boady

Assistant Teaching Professor

Computer Science

Mark Boady joined CCI faculty in fall 2015 as assistant teaching professor. His interests include computer algebra, specifically how to automate complex symbolic calculations, and how computer algebra systems can be used to enhance learning. Boady earned his PhD at CCI in spring 2016 (advised by Professor Jeremy Johnson and Professor Pavel Grinfeld) where he researched automating the computation of problems in the Calculus of Moving Surfaces (CMS). He has taught CCI courses in areas such as the mathematical foundations of computer science and programming languages.


  • PhD in Computer Science, Drexel University
  • MS, Computer Science, Drexel University
  • BA, Computer Science (cum laude), Drexel University

Research/Teaching Interests

Computer algebra, data structures, computations theory, automatic grading, using gaming in education

Select Publications

  • M. Boady, P. Grinfeld, and J. Johnson. 2013. A term rewriting system for the calculus of moving surfaces. In Proceedings of the 38th international symposium on International symposium on symbolic and algebraic computation (ISSAC '13). ACM, New York, NY, USA, 69-76. DOI=10.1145/2465506.2466576 PDF Available from ACM. Slides from Presentation at ISSAC 2013.
  • M. Boady, P. Grinfeld, and J. Johnson. A symbolic computation system for the calculus of moving surfaces. ACM Commun. Comput. Algebra. 45(1/2):109-110. July 2011.
  • M. Boady, P. Grinfeld, and J. Johnson. Boundary variation of Poisson's equation: a model problem for symbolic calculus of moving surfaces. International Journal of Mathematics and Computer Science. Vol. 6. Issue 2. 2011.

Research Activities

  • Finding a series in 1/N for the Laplacian Eigenvalues on the regular N sided polygon under Dirichlet boundary conditions
  • Teaching graph algorithms though gaming

Professional Activities & Associations

  • Member: SIGCSE, SIGSAM, Upsilon Pi Epsilon