About Systems & Theory

I am a student and researcher in computer science. My book, AI Security (2014-2016), was a call to action for society to begin preparing for AGI. My current work focuses on initiating the field of Formal AI, which is an approach to creating AI that we can understand and verify.