His areas of specialization include logic, universal algebra, and computer algebra. Among his classes at Vanderbilt, he teaches mathematical modeling in economics.