Career He specializes in mathematical logic, set theory, and non-standard analysis. Ballard, David; J.