Mark Boady. 2016. Applications of Symbolic Computation to the Calculus of Moving Surfaces.
Thesis. Advisors Jeremy Johnson and Pavel Grinfeld. Drexel University. Philadelphia, PA.
https://innoserv.library.drexel.edu/record=b2705648

Mark Boady, Pavel Grinfeld, and Jeremy 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, 6976. DOI=10.1145/2465506.2466576 http://doi.acm.org/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):109110. July 2011. http://dl.acm.org/citation.cfm?id=2016580

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.

Google Scholar 
July+August 2021  Quantum Programming Workshop for WiCS  Workshop Material  
May 2021  Introduction to Quantum Algorithms for WiCS  Talk Material  
May 2015  Introduction to Term Rewrite Systems and their Applications  PDF Lego Turing Machine  
April 2014  East Coast Computer Algebra Day (ECCAD 2014)  Approximation of Fourier Series to Determine LaplaceDirichlet Eigenvalues  
April 2013  East Coast Computer Algebra Day (ECCAD 2013)  Symbolic Computation of LaplaceDirichlet Eigenvalues  
May 2012  Drexel Alumni Weekend  Symbolic Computation of LaplaceDirichlet Eigenvalues  Short Presentation  
March 2012  Upsilon Pi Epsilon  4th Annual Alumni Dinner  Symbolic Computation of LaplaceDirichlet Eigenvalues  
June 2011  ISSAC 2011  A Symbolic Computation System for the Calculus of Moving Surfaces  
April 2011  ECCAD 2011  Individualized Assignments and Assessment through Automated Grading  
April 2010  Drexel University Research Day  A Symbolic Computation System for the Calculus of Moving Surfaces 