My real name is Richard O'Donovan. I teach mathematics in a college in Geneva (Switzerland) and got interested in nonstandard analysis while considering conceptual difficulties that my students met when introduced to analysis and calculus in the classical epsilon-delta way. I have been working with researchers in that domain and regularly go to mathematics congresses on the subject. I have had articles published by the Association for Symbolic logic and Springer.