I'm a math student with a background in philosophical logic (Ph.D). That is, modelling philosophical problems with techniques from various logics. My interests then ranged from the logic of various theological claims to mathematical logic. I got into math full time a few years ago and never looked back. Now I'm mostly occupied with how to best model mathematics using computers.