He obtained his PhD in Computer Science from Rensselaer Polytechnic Institute (RPI) in May 2015, working under Professor Selmer Bringsjord and specializing in the computational modeling of analogical reasoning.