It seems like he took a leave of absence from CMU to start his company (based on Linkedin)