Research in Artificial General Intelligence

Currently with the Australian National University, my research draws upon linguistics, philosophy, algorithmic information theory and boolean satisfiability problems to answer questions about artificial general intelligence, meaning and consciousness. 

Theory is easier to trust when verified by experiment, and more compelling when applied to build functioning machines. I'm working to develop products based upon my theories and prototypes.