I am a pure mathematician by academic background and a computer programmer by profession. I like to prove results from first principles. As a postgraduate I did a little undergraduate maths tutoring, but found that I tended to get a little carried away e.g. telling first year undergraduates about the beauty of Galois theory. I have forgotten a lot of maths over the years, but Socratic is helping me remember and start proving things again.