Originally a mathematician, working on developing AI technology.