Before that, he was a graduate student at UC Berkeley, and an undergraduate at Texas A&M. His work focuses on developing new technologies for program synthesis as well as developing new applications of this technology. His work has been published at major venues in a variety of fields including programming languages (PLDI, POPL), formal methods (CAV), computer systems (SOSP), software engineering (ICSE, FSE), databases (SIGMOD), high-performance computing (SC) and machine learning (NIPS).