computational theorist