I have a diploma (in today's bologna times that would be a master's degree) in mathematics. However, I never practised it professionally but went to IT instead. My interest are now the axiomatic foundation of mathematics and related philosophical aspects.