He has a PhD in nonstandard analysis and has been continuously exploring the possibility to use a "downgraded" version of nonstandard analysis to teach introductory analysis in high school.