She served as a Computing Innovation Fellow Postdoc at the University of Kentucky after completing her Ph.D. in computer science at the University of Texas at Austin in 2010. She is interested in knowledge representation, automated reasoning, declarative problem solving, and natural language understanding.