Artificial intelligence researcher and founder of the AGI project Genifer (general inference engine).