I recently left my graduate studies in philosophy and mathematics in order to become a software developer. In graduate school my area of specialization was logic. I also studied various other fields of philosophy and mathematics. Now I wish to apply my technical background to solve challenging, real world problems and help others by writing software.
I have ten years of experience programming as a hobbyist. I love solving technical problems, and I have a proven track record of doing so, with multiple publications of mathematical research in prestigious journals.
Since leaving graduate school, I have continued to work as an independent researcher. Currently my research focuses on designing a programming language aiming to enable us to write more reliable software, and to reduce the slowdown in development that happens when a project becomes larger and more complex.