At CMU he studied under Andy Witkin , Dana Scott , and Peter Lee .
Draves earned a Bachelor 's in mathematics at Brown University , where he was a student of Andy van Dam before continuing on to earn a PhD in computer science at Carnegie Mellon University .
At Carnegie Mellon University Draves studied under Andy Witkin , Dana Scott , and Peter Lee .
Draves earned a Bachelor 's in mathematics at Brown University , where he was a student of Andy van Dam before continuing on to earn a PhD in computer science at Carnegie Mellon University .