Discovered EA c. 2013 via the rationality movement (LessWrong). Used to be a software engineer, switched to math to help contribute to AI safety fundamental research