My research interests are in symbolic computation, especially algorithms for definite integration and summation problems involving special functions.
My computational interest is the development of symbolic integration algorithms. Experimentation and testing against entries in Gradshteyn & Ryzhik's Table of Integrals has led to modifications of these algorithms. Errors in the Gradshteyn-Ryzhik table have been discovered through the development of these algorithms.
My doctoral advisor was Dr. Victor H. Moll, and I also contribute to his goal of verifying integrals in Gradshteyn-Ryzhik through classical methods. In this process also, we have found and corrected a number of errors.
I use the open-source mathematics software system Sage in my research.
My research interests in computational linguistics have included discourse analysis/semantic representation, child language acquisition, and the computational lexicon.
p-adic tree drawing for conjectures of p-adic valuations of integer sequences (package padic_trees.m and notebook of examples)
Mathematica notebook for the article "From Integrals to multi-sum identities"