Math professor with interest in using computation to answer questions about geometric structures on manifolds